From dfccca79743e63922cbfcf774bf94153b868c85c Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Thu, 10 Mar 2005 16:18:51 +0000 Subject: [PATCH] Support multiple anchor name types now that Jacob has enhanced Halibut to be able to do so. [originally from svn r5479] --- doc/blurb.but | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/blurb.but b/doc/blurb.but index 88e5f46d..01b7c63d 100644 --- a/doc/blurb.but +++ b/doc/blurb.but @@ -10,6 +10,8 @@ or on the PuTTY tools themselves, see the Feedback page.

} +\cfg{html-template-fragment}{%k}{%b} + \cfg{xhtml-contents-filename}{index.html} \cfg{text-filename}{puttydoc.txt} \cfg{winhelp-filename}{putty.hlp}