EXTRA_DIST = $(docs) html
-CLEANFILES = $(pkg).ps $(pkg)*.html $(pkg).hhc $(pkg).hhp $(pkg).hhk $(pkg).bib $(pkg).zip \*.aux \*.log $(pkg).ilg $(pkg).ind $(pkg).pdf $(pkg).dvi \*~ \#\*~ \#\*\# \.\*~
+CLEANFILES = $(pkg).ps $(pkg)*.html $(pkg).hhc $(pkg).hhp $(pkg).hhk $(pkg).bib $(pkg).zip \*.aux \*.log $(pkg).ilg $(pkg).ind $(pkg).dvi \*~ \#\*~ \#\*\# \.\*~
mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
CONFIG_HEADER = ../config.h
CONFIG_CLEAN_FILES =
.PHONY: ps
ps: $(pkg).ps
$(pkg).ps: $(pkg).pdf
- pdf2ps $(pkg).pdf $(pkg).ps
+ pdftops $(pkg).pdf $(pkg).ps
.PHONY: dvi
dvi: $(pkg).dvi