X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile.am;h=15ea655767998e8bdaae9ed4ad72c5869b55a0e5;hb=2ad415080cf54a0edde466fc954b7e207779b95e;hp=0f9ca9a9a7af157b5c78196415ac6b6c1475fc93;hpb=6651b7e8fb1f0e2db7c65ac332be11de11de3adc;p=pspp

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 0f9ca9a9a7..15ea655767 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -4,4 +4,5 @@ info_TEXINFOS = pspp.texi
 
 EXTRA_DIST = pspp.man
 
-MAINTAINERCLEANFILES = Makefile.in README.html pspp.info pspp.info-*
+CLEANFILES = pspp.info pspp.info-*
+MAINTAINERCLEANFILES=Makefile.in README.html