From: Ben Pfaff <blp@gnu.org>
Date: Sat, 4 Oct 2008 03:54:28 +0000 (-0700)
Subject: Add pspp-dev.dvi to CLEANFILES.
X-Git-Tag: sav-api~631^2~30
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=625011da0d7cfcc4536fd95bad7f0da7c7750b81;p=pspp

Add pspp-dev.dvi to CLEANFILES.

Automake does not seem to clean this file automatically.  (Is this an
Automake bug?)
---

diff --git a/doc/automake.mk b/doc/automake.mk
index fa6e8b03df..3445379a1c 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