X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile.am;h=15ea655767998e8bdaae9ed4ad72c5869b55a0e5;hb=458f79fdf6fbd044cbfc4831b184280a82cf8d81;hp=77de97705615d98a72f32526fd3e58d175956dc3;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 77de977056..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
+CLEANFILES = pspp.info pspp.info-*
+MAINTAINERCLEANFILES=Makefile.in README.html