From 754267f0bd31d929a207c3afe7cefe55377c255a Mon Sep 17 00:00:00 2001
From: dtrg <none@none>
Date: Fri, 24 Jun 2005 23:19:24 +0000
Subject: [PATCH] Added new mkdist tool.

---
 distr/How_To | 24 ++++++++++++++++++++++++
 distr/mkdist |  6 ++++--
 2 files changed, 28 insertions(+), 2 deletions(-)

diff --git a/distr/How_To b/distr/How_To
index b9937c6dd..17ec1ad39 100644
--- 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 43ea29a49..c4a307367 100755
--- 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.