Use pid_t more consistently. Should shut up a warning from GCC 4.6, and may
[u/mdw/putty] / doc / site.but
1 \# Additional configuration for the version of the PuTTY docs
2 \# actually published as HTML on the website.
3
4 \cfg{xhtml-head-end}{<link rel='stylesheet' href='sitestyle.css' type='text/css' />}