]> asedeno.scripts.mit.edu Git - PuTTY.git/commitdiff
Support multiple anchor name types now that Jacob has enhanced
authorSimon Tatham <anakin@pobox.com>
Thu, 10 Mar 2005 16:18:51 +0000 (16:18 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 10 Mar 2005 16:18:51 +0000 (16:18 +0000)
Halibut to be able to do so.

[originally from svn r5479]

doc/blurb.but

index 88e5f46dece7460373289498e1ecee703f861251..01b7c63daa856e03a7aab977967d4c624566db67 100644 (file)
@@ -10,6 +10,8 @@ or on the PuTTY tools themselves, see the
 <a href="http://www.chiark.greenend.org.uk/~sgtatham/putty/feedback.html">Feedback
 page</a>.</p>}
 
+\cfg{html-template-fragment}{%k}{%b}
+
 \cfg{xhtml-contents-filename}{index.html}
 \cfg{text-filename}{puttydoc.txt}
 \cfg{winhelp-filename}{putty.hlp}