X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2FMakefile;h=96a19eb175a55273b0f46eae835065f55c0511a5;hb=f004bcca17a789356c32527a396b68b71a773db2;hp=7b0c2330ca8401171c60931a6c0d5cf7ab779e7f;hpb=886e80669013d60b69d075237748e559f5423071;p=PuTTY.git

diff --git a/doc/Makefile b/doc/Makefile
index 7b0c2330..96a19eb1 100644
--- 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 ...