mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-04 22:33:27 +00:00
12 lines
246 B
Plaintext
12 lines
246 B
Plaintext
--- ../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
|