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

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 9a7bfa10b8..0f9ca9a9a7 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 pspp.info pspp.info-*