chiark / gitweb /
more purging of url-pkg-manual references
[developers-reference.git] / Makefile
index 81f8433b88a787db4c1f45b3e81ec9a84aff3f77..e958f4ade68913731bb28648c9d3229305edda08 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -82,8 +82,10 @@ clean:
              developers-reference*.sasp* developers-reference*.tex \
              developers-reference*.aux developers-reference*.toc \
              developers-reference*.idx developers-reference*.log \
-             developers-reference*.out
+             developers-reference*.out developers-reference*.dvi
        rm -f version.ent
        rm -f `find . -name "*~"`
 
-developers-reference$(SRCEXT).sgml: version.ent common.ent
\ No newline at end of file
+developers-reference$(SRCEXT).sgml: version.ent common.ent
+
+html: $(MANUAL).html