summaryrefslogtreecommitdiffstats
path: root/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 1333693..0a72fee 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,7 +13,7 @@ endif
docs: progdocs userdocs
-progdocs: prog.html
+progdocs: prog.html prog.dvi
prog.sgml:
$(srcdir)/tools/progdoc $(srcdir_abs)