diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 2000-02-09 07:42:59 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 2000-02-09 07:42:59 +0000 |
commit | e1edfd88755c43939086f4e52e0239e4625305c6 (patch) | |
tree | e1d2ad314b699e931b26a47744d82025f26a7ab8 /doc/Makefile.in | |
parent | e6e4e8cfa7e159d20c7a4b4f3e9974d799d39c5a (diff) |
Documentation changes from Roland Rosenfeld.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 3bbb4465..3d1db601 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -98,8 +98,11 @@ manual.txt: manual.sgml manual.html: manual.sgml sgml2html manual || true +manual.ps: manual.sgml + sgml2latex --output=ps manual || true + clean: - rm -f *~ *.html *.orig *.rej stamp-doc-sgml stamp-doc-man + rm -f *~ *.html *.orig *.rej stamp-doc-sgml stamp-doc-man *.ps clean-real: rm -f manual.txt |