diff options
Diffstat (limited to 'doc/api')
| -rw-r--r-- | doc/api/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/api/Makefile b/doc/api/Makefile index f6425fbae..d5a6f7908 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 |