X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fsite.but;h=a74f4dfeb3c96a94f490676269e78d06eefc6b16;hb=182a511ec3dce0b726be5df4e8e16af605ec4f6a;hp=2c7a151cbf0c1ae02815a058a405f7b823c9b9ae;hpb=f9abc2b09290d09c11ca422ebe6fc1f0a530af43;p=PuTTY.git diff --git a/doc/site.but b/doc/site.but index 2c7a151c..a74f4dfe 100644 --- a/doc/site.but +++ b/doc/site.but @@ -1,4 +1,4 @@ \# Additional configuration for the version of the PuTTY docs \# actually published as HTML on the website. -\cfg{xhtml-head-end}{} +\cfg{xhtml-head-end}{}