build: Update release-steps after problem with .version has been fixed.

diff --git a/Admin/release-steps b/Admin/release-steps
index a5f94eb5f3cd37dad3a5f25b8f47fecac76d5014..2e5d2555d59f4b2efb4517d776291b92c823270e 100644 (file)
--- a/Admin/release-steps
+++ b/Admin/release-steps
@@ -18,18 +18,12 @@ We assume that the following environment variables are set:
 
     # Forcing a specific version number, without having to set a git tag.
     echo $CURRENT_VERSION > .tarball-version
-    # Forcing a rebuild of the documentation and man pages.
-    rm -f .version
 
     ./autopull.sh
     ./autogen.sh
     ./configure --disable-shared
     make
-    make dist
-
-    # To prevent auto-updating '.version' file by GNUmakefile due to
-    # regenerated PO files, specify Makefile manually.
-    make -f Makefile distcheck
+    make distcheck
 
   Then you will get a distribution tarball:
 
@@ -72,8 +66,6 @@ We assume that the following environment variables are set:
 
     # Forcing a specific version number, without having to set a git tag.
     echo $CURRENT_VERSION > .tarball-version
-    # Forcing a rebuild of the documentation and man pages.
-    rm -f .version
 
 ** Update files:
 
@@ -213,8 +205,6 @@ We assume that the following environment variables are set:
 
     # Forcing a specific version number, without having to set a git tag.
     echo $CURRENT_VERSION > .tarball-version
-    # Forcing a rebuild of the documentation and man pages.
-    rm -f .version
 
     ./autogen.sh
     ./configure --disable-shared
@@ -269,9 +259,7 @@ We assume that the following environment variables are set:
 
   Finally really make the release tarball:
 
-    # To prevent auto-updating '.version' file by GNUmakefile due to
-    # regenerated PO files, specify Makefile manually.
-    make -f Makefile distcheck
+    make distcheck
 
   If necessary, produce variants with higher compression (takes 7 minutes):