master updated (a526af3498 -> 31221d75f7)

[Gavin D. Smith]

gavin pushed a change to branch master.

    from a526af3498 remove unused contrib/nontests/defs.in
     new 39c898db42 HTML Output Customization manual edit
     new ec93cbcd8c HTML Output Customization manual edit
     new 95cdb8adc2 * doc/texinfo.texi (JavaScript Interface and Licenses): 
Move subsection later in chapter.
     new 899a8fc35b * doc/texinfo.texi (JavaScript Interface and Licenses):     
Edit.
     new 714e2827df * doc/texinfo.texi (HTML Customization for Math): Edit.
     new c927739b8d HTML Output Customization manual edit
     new f9a7b9b1d2 * doc/texinfo.texi (Customization of Inserted HTML Code): 
edit
     new 093d617d81 Avoid sentence end
     new 078472dbab * doc/texinfo.texi (HTML Features Customization): edit
     new 31221d75f7 * doc/texinfo.texi (Customization of Navigation and 
Headers): edit


Summary of changes:
 ChangeLog        |  59 ++++++++++++++++++++
 doc/texinfo.texi | 162 +++++++++++++++++++++++++++++--------------------------
 2 files changed, 144 insertions(+), 77 deletions(-)