1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
From: Ivo De Decker <ivodd@debian.org>
Date: Tue, 19 May 2020 21:41:07 +0800
Subject: Use local schmooz version to build txi files
Bug-Debian: http://bugs.debian.org/712322
Forwarded: not-needed
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.
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 2db6845..1940dc5 100644
--- a/Makefile
+++ b/Makefile
@@ -137,7 +137,7 @@ installdirs:
mkdir -p $(DESTDIR)$(dvidir)
$(txifiles): slib.texi $(txiscms) schmooz.scm
- $(SCHEME) -rschmooz -e'(schmooz "$<")'
+ $(SCHEME) -f schmooz.scm -e'(schmooz "$<")'
slib.dvi: slib.texi version.txi $(txifiles) $(texifiles)
$(TEXI2DVI) -b -c $<
|
