texinfo5.patch

   1 --- flite-1.4-release/doc/Makefile~     2015-03-05 18:29:30.000000000 +0100
   2 +++ flite-1.4-release/doc/Makefile      2015-03-05 18:31:22.741901079 +0100
   3 @@ -50,7 +50,7 @@
   4  flite.html: flite.texi
   5         @ if [ ! -d html ] ; \
   6            then mkdir -p html ; fi
   7 -       (cd html; texi2html -number -split_chapter ../flite.texi)
   8 +       (cd html; texi2html -number-sections -split_chapter ../flite.texi)
   9         @ if [ -d html/flite ] ; \
  10           then mv html/flite/*.html html ; \
  11                 rmdir html/flite; fi