From 6fa03883cd725ea64e07c888c283958bfb545148 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 3 Mar 2007 17:13:58 +0000 Subject: Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out) --- doc/Makefile.doc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/Makefile.doc') diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 97478ef6..170f10d1 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -18,6 +18,7 @@ MAKE = make -f Makefile.doc MAKEINFO = makeinfo +# `texinfo-tex' package contains texi2dvi and texi2pdf TEXI2DVI = texi2dvi # `dviutils' package contains these useful utilities. @@ -37,13 +38,12 @@ TOC = :_1 DVI2PS = dvips -Pcmz TEXI2PDF = texi2pdf TEXI2HTML = texi2html -expandinfo -number -split_chapter -# FIXME: choose emacs automatically if xemacs not available -EMACS = xemacs +EMACS = emacs EMACSFLAGS = -q -no-site-file -batch TMPFILE=pgt -.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .gz +.SUFFIXES: .texi .info .html .pdf .ps .eps .tiff .gz default: doc @@ -109,7 +109,7 @@ ProofGeneralPortrait.pdf: ## ## doc : build info and dvi files from $(DOCNAME).texi ## -doc: dvi info +doc: pdf info ## -- cgit v1.2.3