[PATCH 1/3] manual: Refactor header and standards annotations.

[Joseph Myers]

On Fri, 25 Nov 2016, Rical Jasan wrote:

> What should I do with summary.awk?  Replace it or stick to syntax
> checking only?  I've been calling mine check-stds.pl but it could become

I'm not making a particular assertion about whether the scripts should be 
combined or not (provided that any replacement for summary.awk generates 
identical output, given any required fixes to the manual sources).

-- 
Joseph S. Myers
joseph@codesourcery.com