blob: 58cfe89d929453651ff2fab97d4b8131b9d6f5c2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ../doc/Makefile.orig Wed Jan 20 21:57:45 1999
+++ ../doc/Makefile Wed Jan 20 21:59:19 1999
@@ -1,7 +1,7 @@
SRCDIR=../src
DVI=texi2dvi
DVIPS=dvips -o "$@"
-INFO=makeinfo
+INFO=makeinfo --no-validate
HTML=texi2html
RM=rm -f
TAR=tar -chvf
|
