diff options
| -rw-r--r-- | doc/api/Makefile | 2 | ||||
| -rw-r--r-- | doc/implement/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/api/Makefile b/doc/api/Makefile index f6425fbaec..d5a6f79088 100644 --- a/doc/api/Makefile +++ b/doc/api/Makefile @@ -25,5 +25,5 @@ library.dvi: $(LIBTEX) $(STYLES) .dvi.ps: - dvi2ps -r $*.dvi >$*.ps + dvips $*.dvi -o diff --git a/doc/implement/Makefile b/doc/implement/Makefile index f6425fbaec..d5a6f79088 100644 --- a/doc/implement/Makefile +++ b/doc/implement/Makefile @@ -25,5 +25,5 @@ library.dvi: $(LIBTEX) $(STYLES) .dvi.ps: - dvi2ps -r $*.dvi >$*.ps + dvips $*.dvi -o |