Shut up a makeinfo warning.

[pspp] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 0f7541969c97a72e86ea71337aeb5ab5d1326f2f..e3bd948153d88d49818fcdf5da15e112cc6ef4cc 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.7 2007-05-01 15:14:20 haible Exp $
+# $Id: Makefile,v 1.8 2007-07-06 22:56:38 haible Exp $
 # Makefile for gnulib doc.  
 # Copyright (C) 2004, 2006-2007 Free Software Foundation, Inc.
 #
@@ -8,7 +8,7 @@
 
 doc = gnulib
 
-TEXI2HTML = $(MAKEINFO) --no-split --html
+TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
 %.html: %.texi
        $(TEXI2HTML) -o $@ $<