[PING] [PATCH v5 0/3] manual: Header & Standards Cleanup

[Joseph Myers]

These patches are OK with the manual/Makefile comment "# libm-err.texi 
generation requires perl." updated to mention summary.texi generation as 
an additional thing that requires perl and is thus a reason for the 
conditional on perl there.  (To be clear, patches 2 and 3 need to go 
together in a single commit for bisectability.)

-- 
Joseph S. Myers
joseph@codesourcery.com