diff options
Diffstat (limited to '070-flite1-texi2html-to-texi2any-migration.patch')
| -rw-r--r-- | 070-flite1-texi2html-to-texi2any-migration.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/070-flite1-texi2html-to-texi2any-migration.patch b/070-flite1-texi2html-to-texi2any-migration.patch new file mode 100644 index 000000000000..6f0e60313cfd --- /dev/null +++ b/070-flite1-texi2html-to-texi2any-migration.patch @@ -0,0 +1,14 @@ +Description: Debian wants to get rid of texi2html, see + https://wiki.debian.org/Texi2htmlTransition +Author: Paul Gevers <elbrus@debian.org> +--- a/doc/Makefile ++++ b/doc/Makefile +@@ -50,7 +50,7 @@ + flite.html: flite.texi + @ if [ ! -d html ] ; \ + then mkdir -p html ; fi +- (cd html; texi2html -number -split_chapter ../flite.texi) ++ (cd html; texi2any --set-customization-variable TEXI2HTML=1 --split=chapter ../flite.texi) + @ if [ -d html/flite ] ; \ + then mv html/flite/*.html html ; \ + rmdir html/flite; fi |