X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile.am;h=15ea655767998e8bdaae9ed4ad72c5869b55a0e5;hb=f98e66bead58bd287261d7bc14dab07515498f55;hp=0f9ca9a9a7af157b5c78196415ac6b6c1475fc93;hpb=6651b7e8fb1f0e2db7c65ac332be11de11de3adc;p=pspp-builds.git diff --git a/doc/Makefile.am b/doc/Makefile.am index 0f9ca9a9..15ea6557 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