Added new mkdist tool.

diff --git a/distr/How_To b/distr/How_To
index b9937c6..17ec1ad 100644 (file)
--- a/distr/How_To
+++ b/distr/How_To
@@ -1,3 +1,27 @@
+How to make a distribution
+--------------------------
+
+I have written a new tool to generate the distributions that does not rely on
+having a local CVS server --- distr/mkdist.
+
+To use it, you need to specify your CVS work tree, the destination directory
+that the distribution will be written to, plus flags. It should be self-
+documenting; use:
+
+       mkdist --help
+       
+...to get documentation.
+
+It uses .distr files in exactly the same way as the previous mechanism.
+
+The documentation for the old distribution tools follows.
+
+David Given
+dg@cowlark.com
+2005-06-25
+
+-----------------------------------------------------------------------------
+
 How to make a fresh distribution:
 For a distribution you need ".distr" files and RCS files.
 The EM home directory contains a file called ".distr". It contains

diff --git a/distr/mkdist b/distr/mkdist
index 43ea29a..c4a3073 100755 (executable)
--- a/distr/mkdist
+++ b/distr/mkdist
@@ -158,6 +158,8 @@ echo "Done."
 
 # Revision history
 # $Log$
-# Revision 1.1  2005-06-24 22:13:57  dtrg
-# Created new tool to generate distributions.
+# Revision 1.2  2005-06-24 23:19:23  dtrg
+# Added new mkdist tool.
 #
+# Revision 1.1  2005/06/24 22:13:57  dtrg
+# Created new tool to generate distributions.