Manual_style_guidelines.txt put back item I lost after manual merge.
Docs/Manual_style_guidelines.txt:
put back item I lost after manual merge.
Docs/manual.texi:
Change note mods, 4.0.[12].
Docs/Manual_style_guidelines.txt:
Updated guidelines, mostly identified globals from O'Reilly proofread.
Docs/Support/docbook-fixup.pl:
Added post-processing for new docbook-prefix preprocessing.
Shuffled/fixed some other minor stuff.
Docs/Support/make-docbook:
Include preprocessing before makeinfo.
Docs/manual.texi:
Processing O'Reilly proofread, including global style changes.
Watch this one VERY VERY carefully - it's extremely drastic!
is supposed to become the central repository for documentation guidelines
- re-fixed wording in configure.in according to Manual style guidelines
(thanks to Paul for the hint)