[ESS-bugs] (cd doc ; make html) now gives warnings

[Martin Maechler]

These are the warnings from yesterday's changes to `doc/*.texi`
files.
I get an e-mail with this every 15 minutes, when the cron job
runs which updates the web page with ess.html ...

Martin


readme.texi:76: warning: node next `Installation' in menu `Starting up' and in sectioning `Installing from a third-party repository' differ
./installation.texi:16: warning: node `Installation' is prev for `Installing from a third-party repository' in sectioning but not in menu
./installation.texi:16: warning: node up `Installing from a third-party repository' in menu `Installation' and in sectioning `General Information' differ
readme.texi:8: node `General Information' lacks menu item for `Installing from a third-party repository' despite being its Up target
./installation.texi:34: warning: node up `Installing from source' in menu `Installation' and in sectioning `General Information' differ
readme.texi:8: node `General Information' lacks menu item for `Installing from source' despite being its Up target
./installation.texi:79: warning: node up `Activating and Loading ESS' in menu `Installation' and in sectioning `General Information' differ
readme.texi:8: node `General Information' lacks menu item for `Activating and Loading ESS' despite being its Up target
./installation.texi:117: warning: node `Starting up' is next for `Check Installation' in sectioning but not in menu
./installation.texi:117: warning: node up `Check Installation' in menu `Installation' and in sectioning `General Information' differ
readme.texi:8: node `General Information' lacks menu item for `Check Installation' despite being its Up target
readme.texi:80: warning: node prev `Starting up' in menu `Installation' and in sectioning `Check Installation' differ
make: [Makefile:117: html/readme.html] Error 1 (ignored)