diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0c8690c78..020338b40 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -11,3 +11,23 @@ man_MANS = gpg.1 >$@,$$$$ && mv -f $@,$$$$ $@\ || rm -f $@,$$$$ + + +%.txt : %.sgml + sgml2txt -c latin $* + +%.html : %.sgml + sgml2html -l deutsch -c latin $* + +%.dvi : %.sgml + -rm $*.sgml.tmp + mv $*.sgml $*.sgml.tmp + sed -e '/<!entity/ s/"IGNORE">/"INCLUDE">/' $*.sgml.tmp >$*.sgml + sgml2latex -b -l deutsch -c latin $* ; mv $*.sgml.tmp $*.sgml + +%.ps : %.sgml + -rm $*.sgml.tmp + mv $*.sgml $*.sgml.tmp + sed -e '/<!entity/ s/"IGNORE">/"INCLUDE">/' $*.sgml.tmp >$*.sgml + sgml2latex -b -l deutsch -c latin -o ps $* ; mv $*.sgml.tmp $*.sgml + |