mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-18 03:46:03 +00:00
14 lines
351 B
Plaintext
14 lines
351 B
Plaintext
--- ../doc/Makefile.orig 2007-09-17 20:36:09.000000000 -0700
|
|
+++ ../doc/Makefile 2007-10-25 14:04:48.000000000 -0700
|
|
@@ -1,8 +1,8 @@
|
|
SRCDIR=../src
|
|
-DVI=texi2dvi4a2ps # texi2dvi
|
|
+DVI=texi2dvi # texi2dvi
|
|
DVIPS=dvips -o "$@"
|
|
PSPDF=ps2pdf
|
|
-INFO=makeinfo
|
|
+INFO=makeinfo --no-validate --no-split
|
|
HTML=makeinfo --html --no-split
|
|
RM=rm -f
|
|
TAR=tar -chvf
|