blob: 443b321e28dbb71d052fe396aef89ab411e14a0c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ../doc/Makefile.orig Fri Sep 20 10:35:27 2002
+++ ../doc/Makefile Tue Jul 29 18:53:08 2003
@@ -1,7 +1,7 @@
SRCDIR=../src
DVI=texi2dvi
DVIPS=dvips -o "$@"
-INFO=makeinfo
+INFO=makeinfo --no-validate
HTML=makeinfo --html
RM=rm -f
TAR=tar -chvf
|
