Sebastian Kuschel reports that pfd_closing can be called for a socket

[u/mdw/putty] / doc / site.but

\# Additional configuration for the version of the PuTTY docs
\# actually published as HTML on the website.

\cfg{xhtml-head-end}{<link rel='stylesheet' href='sitestyle.css' type='text/css' />}