Add target to build `info' file.

[PuTTY.git] / doc / blurb.but

diff --git a/doc/blurb.but b/doc/blurb.but
index c9fbc75d36ce76c6b81e31416df8dd4a9e3d1c5b..1a0c0c6f0e45f128a6ac74a6e414115fa51c6c35 100644 (file)
--- a/doc/blurb.but
+++ b/doc/blurb.but
@@ -12,9 +12,12 @@ page</a>.</p>}
 
 \cfg{html-template-fragment}{%k}{%b}
 
+\cfg{info-max-file-size}{0}
+
 \cfg{xhtml-contents-filename}{index.html}
 \cfg{text-filename}{puttydoc.txt}
 \cfg{winhelp-filename}{putty.hlp}
+\cfg{info-filename}{putty.info}
 
 PuTTY is a free (MIT-licensed) Win32 Telnet and SSH client. This
 manual documents PuTTY, and its companion utilities PSCP, PSFTP,