checking in all the old panacean stuff

2016-07-25 15:42:39 -04:00
parent c996cdd81f
commit 8fd9e44ae5
1210 changed files with 220657 additions and 0 deletions
--- a/puttysrc/DOC/SITE.BUT
+++ b/puttysrc/DOC/SITE.BUT
@@ -0,0 +1,4 @@
+\# 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' />}