2007-10-25 23:15:23 +02:00
|
|
|
--- ../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
|
2011-11-16 21:38:49 +01:00
|
|
|
DVI=texi2dvi
|
1999-01-26 02:45:28 +01:00
|
|
|
DVIPS=dvips -o "$@"
|
2006-07-14 20:37:11 +02:00
|
|
|
PSPDF=ps2pdf
|
1999-01-26 02:45:28 +01:00
|
|
|
-INFO=makeinfo
|
2006-07-14 20:37:11 +02:00
|
|
|
+INFO=makeinfo --no-validate --no-split
|
2007-01-10 06:06:45 +01:00
|
|
|
HTML=makeinfo --html --no-split
|
1999-01-26 02:45:28 +01:00
|
|
|
RM=rm -f
|
|
|
|
|
TAR=tar -chvf
|
