Browse Source

Added new mkdist tool.

dtrg 19 years ago
parent
commit
754267f0bd
2 changed files with 28 additions and 2 deletions
  1. 24 0
      distr/How_To
  2. 4 2
      distr/mkdist

+ 24 - 0
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

+ 4 - 2
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.