bug#16295: make-manuals can't generate web manuals with Texinfo 5.1

[Xue Fuqiao]

I was trying to generate the web manuals for the Emacs webpage locally
with `make-manuals' in admin/admin.el, but met an error.  I've attached
the backtrace.

I invoked this command without using prefix argument (which means to
generate all kinds of manuals: HTML, PDF, and PostScript).  The error
occurred when generating the "emacs-node" manual (which is the first
step).  The bug is in `manual-html-fix-headers': Emacs can't find "<meta
http-equiv=\"Content-Style".  I've also attached a sample HTML file
(Abbrevs.html), generated by Texinfo 5.1 and Emacs trunk revision
115779.

Originally reported as:
http://lists.gnu.org/archive/html/emacs-devel/2013-12/msg00996.html

-- 
http://www.gnu.org/software/emacs/

backtrace.txt
Description: Text document

Next: Dired, Previous: Maintaining, Up: Top   [Contents][Index]

---

29 Abbrevs

A defined abbrev is a word which expands, if you insert it, into some different text. Abbrevs are defined by the user to expand in specific ways. For example, you might define ‘foo’ as an abbrev expanding to ‘find outer otter’. Then you could insert ‘find outer otter ’ into the buffer by typing f o o SPC.

A second kind of abbreviation facility is called dynamic abbrev expansion. You use dynamic abbrev expansion with an explicit command to expand the letters in the buffer before point by looking for other words in the buffer that start with those letters. See Dynamic Abbrevs.

“Hippie” expansion generalizes abbreviation expansion. See Hippie Expansion in Features for Automatic Typing.

• Abbrev Concepts:		Fundamentals of defined abbrevs.
• Defining Abbrevs:		Defining an abbrev, so it will expand when typed.
• Expanding Abbrevs:		Controlling expansion: prefixes, canceling expansion.
• Editing Abbrevs:		Viewing or editing the entire list of defined abbrevs.
• Saving Abbrevs:		Saving the entire list of abbrevs for another session.
• Dynamic Abbrevs:		Abbreviations for words already in the buffer.
• Dabbrev Customization:		What is a word, for dynamic abbrevs. Case handling.