[PATCH v3 3/7] manual: Fix up invalid header and standards syntax.

[Rical Jasan]

On 05/16/2017 04:51 AM, Joseph Myers wrote:
> On Tue, 16 May 2017, Rical Jasan wrote:
>> This commit handles exceptional cases of invalid syntax for the
>> @standards conversion script.
>>
>> 	* manual/crypt.texi: Move a comment out of an @*x list.
>> 	* manual/filesys.texi: Refactor some comments, one of which
>> 	looks like a standard.  Fix incorrectly separated standards.
>> 	* manual/locale.texi: Invert an annotation.
>> 	* manual/resource.texi: Fix incorrectly separated standards.
>> 	* manual/time.texi: Refactor a @vtable that obscures an
>> 	annotation.
>> 	* manual/users.texi: Refactor multiple headers to occupy a
>> 	single @comment.
> 
> OK.

Should I wait until the rest of the patchset is reviewed to commit this
(and 5/7), or can I push these now?  Both 3 & 5 have immediate benefits
independent of the @standards conversion (improved detection by
summary.awk and inclusion in the Variable Index, respectively).

Rical