diff options
| author | Daniel Bermond | 2018-03-06 22:19:06 -0300 |
|---|---|---|
| committer | Daniel Bermond | 2018-03-06 23:34:08 -0300 |
| commit | 0fb4043c2652f63d38ad6bad88da83e036adb637 (patch) | |
| tree | 32b2d25589cc57b147e14dd9c5bf9f0a1f060d2d /texi2html_to_texi2any_migration.patch | |
| download | aur-0fb4043c2652f63d38ad6bad88da83e036adb637.tar.gz | |
Initial commit
Diffstat (limited to 'texi2html_to_texi2any_migration.patch')
| -rw-r--r-- | texi2html_to_texi2any_migration.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/texi2html_to_texi2any_migration.patch b/texi2html_to_texi2any_migration.patch new file mode 100644 index 000000000000..6f0e60313cfd --- /dev/null +++ b/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 |