+\cfg{xhtml-body-end}{<p>If you want to provide feedback on this manual
+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{xhtml-contents-filename}{index.html}
+\cfg{text-filename}{puttydoc.txt}
+\cfg{winhelp-filename}{putty.hlp}