Makefile: Use `ps2pdf' rather than `pstopdf'.

I don't know where the latter came from, but it's not around any more.

diff --git a/Makefile b/Makefile
index 03ab382..d038a77 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,7 @@ CLEANFILES += *.[0-9]* *.mps
 ## LaTeX and frinds
 CLEANFILES += *.log *.dvi *.ps *.toc *.lot *.lof *.aux *.pdf *.bbl *.blg
 CLEANFILES += *.out
-%.pdf: %.ps; pstopdf $<
+%.pdf: %.ps; ps2pdf $< $@
 %.ps: %.dvi; dvips -o $@.new $< && mv $@.new $@
 %.dvi: %.dvi-stamp;
 %.gz: %; gzip -9vc $^ >$@.new && mv $@.new $@