master updated (d587babb22 -> 315250461d)

[Gavin D. Smith]

gavin pushed a change to branch master.

    from d587babb22 * doc/texinfo.texi (Syntax Highlighting): Add warning about 
change of syntax for HIGHLIGHT_SYNTAX.  Suggestion from Patrice.
     new 51851f9117 * doc/texinfo.texi (texi2any Printed Output): Change 
@a4paper to @afourpaper in command as the former is a mistake.  (Texinfo 
commands do not have digits in them.)
     new 315250461d * doc/texinfo.texi (@definfoenclose, Generating HTML) (HTML 
Features Customization): Avoid using the word "format" as a general synonym for 
"process" or "output".  It should either have something to do with graphical 
layout or be in the context of a "file format".


Summary of changes:
 ChangeLog        | 14 ++++++++++++++
 doc/texinfo.texi | 10 +++++-----
 2 files changed, 19 insertions(+), 5 deletions(-)