X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=3445379a1ca756e00e62751623ab4759cdf12dc0;hb=59990cb7ac648d05a8fe981def5433e5496d0efa;hp=fa6e8b03df62305ee63049966df28d44aa9f7360;hpb=371a340b7b71f9dcd87b8df1cca265d256a471af;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