diff options
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index d9b315e..93c8485 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ SRCDIR=../src -DVI=texi2dvi4a2ps # texi2dvi +DVI=texi2dvi DVIPS=dvips -o "$@" PSPDF=ps2pdf INFO=makeinfo @@ -9,7 +9,8 @@ TAR=tar -chvf GZIP=gzip -9 MANPS=./man2ps MANTXT=nroff -man -MANHTML=./man2html +PERL=perl +MANHTML=$(PERL) man2html ADMIN_INCLUDES=definitions.texinfo copyright.texinfo document-list.texinfo \ glossary.texinfo support-enc.texinfo salts.texinfo krb5conf.texinfo \ |