X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2FMakefile.am;h=0f9ca9a9a7af157b5c78196415ac6b6c1475fc93;hb=027eba771a7ef9d25e97f0026d6469ea34c06523;hp=77de97705615d98a72f32526fd3e58d175956dc3;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 77de9770..0f9ca9a9 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,10 +2,6 @@
 
 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
+MAINTAINERCLEANFILES = Makefile.in README.html pspp.info pspp.info-*