Add code to generate tar file.

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index ce1ec7453bd17f8a367bf2b8fff0f7af29ff568e..de7c012320ff95772517e620690aa5c49bcfba4c 100755 (executable)
--- a/v7/dist/make-dist-files
+++ b/v7/dist/make-dist-files
@@ -169,3 +169,12 @@ fi
 #
 find ${destination} -type f -print | xargs chmod a-w
 find ${destination} -type d -print | xargs chmod og-w
+
+tarfile=${destination}.tar.gz
+if [ -f ${tarfile} ]
+then
+  rm -f ${tarfile}
+fi
+(cd ${destination}; tar cvzf ../${tarfile} *)
+chmod 444 ${tarfile}
+rm -rf ${destination}