chiark / gitweb /
more purging of url-pkg-manual references
[developers-reference.git] / Makefile
index 7573336ae8c04fd82be3dbbdef4a846e89f9b3ee..e958f4ade68913731bb28648c9d3229305edda08 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ 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 "*~"`