diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 6652113e..065323d0 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,12 +1,12 @@ root-rel=../ dir-name=doc +include ../Rules + progdocs: mkdir -p prog $(srcdir)/tools/progdoc $(srcdir_abs) -userdocs: - %.html: %.sgml ./sgml2html $< @@ -22,5 +22,7 @@ userdocs: %.tex: %.sgml ./sgml2latex --output=tex $< +userdocs: bird.html bird.dvi + clean: rm *.html *.tex *.dvi *.log |