generate info documentation in a single file

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4a1235e06fdde5182aba36efa7d61c0c5872830c..64bbb818c9077a0f6bea1d8dcfeb34a0e61db9ee 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -198,7 +198,7 @@ images_DATA = \
        gnutls-logo.png gnutls-x509.png \
        pkcs11-vision.png
 
-AM_MAKEINFOFLAGS = -I $(top_srcdir)/doc
+AM_MAKEINFOFLAGS = -I $(top_srcdir)/doc --no-split
 TEXI2DVI = texi2dvi $(AM_MAKEINFOFLAGS)
 AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS) \
        --no-split --css-include=$(srcdir)/texinfo.css