diff options
Diffstat (limited to 'debian/patches/712322_use_local_schmooz.patch')
-rw-r--r-- | debian/patches/712322_use_local_schmooz.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/712322_use_local_schmooz.patch b/debian/patches/712322_use_local_schmooz.patch new file mode 100644 index 0000000..54a32b7 --- /dev/null +++ b/debian/patches/712322_use_local_schmooz.patch @@ -0,0 +1,21 @@ +Description: Use local schmooz version to build txi files + The generation of the txi files should be done using the copy of schmooz.scm + in the source, rather than the on from a previous slib version, that gets + installed on the system because scm depends on slib. +Author: Ivo De Decker <ivodd@debian.org> +Bug-Debian: http://bugs.debian.org/712322 +Forwarded: not-needed + +Index: slib/Makefile +=================================================================== +--- slib.orig/Makefile ++++ slib/Makefile +@@ -222,7 +222,7 @@ collectx.scm: collect.scm macwork.scm co + $(scheme) < collect.sc + + $(txifiles): $(txiscms) schmooz.scm +- $(scheme) -rschmooz -e'(schmooz "slib.texi")' ++ $(scheme) -f schmooz.scm -e'(schmooz "slib.texi")' + + dvi: slib.dvi + slib.dvi: version.txi slib.texi $(txifiles) $(texifiles) |