]> asedeno.scripts.mit.edu Git - PuTTY.git/commit
projects / PuTTY.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24fef37) | patch
Use printf rather than echo to generate \versionid.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sun, 1 Dec 2013 18:02:56 +0000 (18:02 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sun, 1 Dec 2013 18:02:56 +0000 (18:02 +0000)
commit886e80669013d60b69d075237748e559f5423071
tree1d94b4013d1531a5c01b54c297b1a98084904c12tree | snapshot
parent24fef3758a758f61fab28659e1113cb766d5558ecommit | diff
Use printf rather than echo to generate \versionid.

(Sacrificing the ability to build PuTTY docs from Halibut source on SunOS 4,
apparently, but I expect we'll live.)

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