]> asedeno.scripts.mit.edu Git - PuTTY.git/commit
projects / PuTTY.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77f6965) | patch
Reasonably grotty hacks so that the droppings left by the man page
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Tue, 30 Mar 2004 21:35:56 +0000 (21:35 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Tue, 30 Mar 2004 21:35:56 +0000 (21:35 +0000)
commit42ba47fdcae03337bd7c9cb30cf81c70dea7b3c1
tree01b38bbc9384b6121a4ce17d943f7cd3d7cec3e6tree | snapshot
parent77f69653ca4f1862c2be10ee69e9e748b5cc7561commit | diff
Reasonably grotty hacks so that the droppings left by the man page
generation don't interfere with the main HTML doc generation.

[originally from svn r4006]
doc/Makefile diff | blob | history
local copy of git://git.tartarus.org/simon/putty.git