Add target to build `info' file.
[sgt/putty] / doc / blurb.but
index c9fbc75..1a0c0c6 100644 (file)
@@ -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,