mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-23 00:43:28 +00:00
12 lines
252 B
Plaintext
12 lines
252 B
Plaintext
--- ../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
|