diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-03-03 17:13:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-03-03 17:13:58 +0000 |
| commit | 6fa03883cd725ea64e07c888c283958bfb545148 (patch) | |
| tree | cc3caeb084998184c3cfeebe3366643af2255eda /doc/Makefile.doc | |
| parent | 3164bbea65dc8dbf109a626338eddca648b2f2a9 (diff) | |
Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)
Diffstat (limited to 'doc/Makefile.doc')
| -rw-r--r-- | doc/Makefile.doc | 8 |
1 files changed, 4 insertions, 4 deletions
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 ## |