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

[Rical Jasan]

On 11/25/2016 06:25 AM, Joseph Myers wrote:
> 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).

Just an update, I've pared down the script I had to something suitable
for a purely automated syntax-checker, and I'll include it with a v2
along with the other issues mentioned.

I won't touch summary.awk because once we change the entire standards
annotation framework, both summary.awk and the new script will need to
be rewritten anyway, so I think it would be better to pursue a combined
script at that stage.

Rical