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]

diff --git a/doc/Makefile b/doc/Makefile
index 89b4be92af3c7c61acf3abb55fb2da5a3e1a09ef..7b0c2330ca8401171c60931a6c0d5cf7ab779e7f 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,7 +28,7 @@ endif
 ifdef VERSION
 VERSIONIDS=vstr
 vstr.but: FORCE
-       echo \\versionid $(VERSION) > vstr.but
+       printf '\\versionid $(VERSION)\n' > vstr.but
 FORCE:;
 else
 VERSIONIDS=vids