Changeset 5593

Timestamp:

07/14/05 15:29:17 (3 years ago)

Author:

iblech

svk:copy_cache_prev:

7591

Message:

util/version_h.pl -- Made it work again (it was removing Help.{hi,o}, where it
should remove Version.{hi,o}).

Files:

• util/version_h.pl (modified) (1 diff)

util/version_h.pl

@@ -56 +56 @@
   if ($revision != 0) {
     # rebuild Help.hs to show new revision number
-    unlink "$base/src/Pugs/Help.hi";
-    unlink "$base/src/Pugs/Help.o";
+    unlink "$base/src/Pugs/Version.hi";
+    unlink "$base/src/Pugs/Version.o";
     exit;
   }