X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile.am;h=15ea655767998e8bdaae9ed4ad72c5869b55a0e5;hb=37597beca4a11edba50b847932fdfeca3a648fa2;hp=9a7bfa10b847a044f62562b6c8bedb24bcce464b;hpb=9a2b541c2c48b7cee9b8ac11247e4de64632cf76;p=pspp

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 9a7bfa10b8..15ea655767 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,10 +2,7 @@
 
 info_TEXINFOS = pspp.texi
 
-# FIXME: remove this when the manual is fixed to eliminate dangling
-# references.
-MAKEINFO = makeinfo --no-validate
-
 EXTRA_DIST = pspp.man
 
-MAINTAINERCLEANFILES = Makefile.in README.html pspp.info pspp.info-*
+CLEANFILES = pspp.info pspp.info-*
+MAINTAINERCLEANFILES=Makefile.in README.html