diff -Naur a/docs/Makefile.in b/docs/Makefile.in --- a/docs/Makefile.in 2008-11-09 21:45:28.000000000 +0000 +++ b/docs/Makefile.in 2012-05-08 15:03:54.083573100 +0100 @@ -527,9 +527,9 @@ @HAVE_TEXI2HTML_TRUE@ mkdir -lash-manual-html-split; \ @HAVE_TEXI2HTML_TRUE@ fi @HAVE_TEXI2HTML_TRUE@ cd lash-manual-html-one-page && \ -@HAVE_TEXI2HTML_TRUE@ texi2html --number ../$(top_srcdir)/docs/lash-manual.texi +@HAVE_TEXI2HTML_TRUE@ texi2html --number-sections ../$(top_srcdir)/docs/lash-manual.texi @HAVE_TEXI2HTML_TRUE@ cd lash-manual-html-split && \ -@HAVE_TEXI2HTML_TRUE@ texi2html --number --split=chapter ../$(top_srcdir)/docs/lash-manual.texi +@HAVE_TEXI2HTML_TRUE@ texi2html --number-sections --split=chapter ../$(top_srcdir)/docs/lash-manual.texi @HAVE_TEXI2HTML_TRUE@ touch html-manual-stamp # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded.