r1883: *** empty log message ***

[ctsim.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index fccf403ce777e443094fcdc5851253ae50a75d1b..e1ba6a9bceef25b59e5777a31c39aee6510d3125 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -205,15 +205,15 @@ distclean-generic clean-generic maintainer-clean-generic clean \
 mostlyclean distclean maintainer-clean
 
 
-all-local: htmlhelp html dvi 
+all-local: htmlhelp html pdf
 
 install-data-hook: $(pkg).htb
        install -g root -o root -m 0644 $(pkg).htb $(datadir)
 
-.PHONY: ps
-ps: ctsim.ps
-$(pkg).ps: $(pkg).dvi
-       dvips $(pkg)
+.PHONY: pdf
+pdf: ctsim.pdf
+$(pkg).pdf: $(pkg).dvi
+       dvipdfm $(pkg)
 
 .PHONY: dvi
 dvi: $(pkg).dvi