Merge branch 'pre-0.64'

[PuTTY.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 89b4be92af3c7c61acf3abb55fb2da5a3e1a09ef..96a19eb175a55273b0f46eae835065f55c0511a5 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,12 +3,12 @@ all: man index.html
 # Decide on the versionid policy.
 #
 # If the user has passed in $(VERSION) on the command line (`make
-# VERSION="Release 0.56"'), we use that as an explicit version
-# string. Otherwise, we use `svnversion' to examine the checked-out
-# documentation source, and if that returns a single revision
-# number then we invent a version string reflecting just that
-# number. Failing _that_, we resort to versionids.but which shows a
-# $Id for each individual file.
+# VERSION="Release 0.56"'), we use that as an explicit version string.
+# Otherwise, we use `svnversion' to examine the checked-out
+# documentation source, and if that returns a single revision number
+# then we invent a version string reflecting just that number. Failing
+# _that_, we resort to versionids.but which gives 'version
+# unavailable'.
 #
 # So here, we define VERSION using svnversion if it isn't already
 # defined ...
@@ -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