X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=3445379a1ca756e00e62751623ab4759cdf12dc0;hb=9a04fda196e392d456f034e1fc2ad744a20d22b4;hp=fa6e8b03df62305ee63049966df28d44aa9f7360;hpb=7d3713dd11dc0f4c5ce9c62ea512cdea38b4e80d;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index fa6e8b03..3445379a 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -62,3 +62,4 @@ uninstall-hook::
 	rm -f $(DESTDIR)$(infodir)/pspp.info.gz
 
 EXTRA_DIST += doc/OChangeLog
+CLEANFILES += pspp-dev.dvi