From 1a2399725e76bca49ecb36e81a19aac636b139b4 Mon Sep 17 00:00:00 2001
From: William Harold Newman <william.newman@airmail.net>
Date: Sat, 19 Jan 2002 20:52:27 +0000
Subject: [PATCH] integration hassles, cont'd: 	gave up on trying to mess
 with different versions of jade on 		different
 architectures, at which point it became clear 		that
 I wanted the formatted docs to be distributed in 	
 a different package than source or binary, so... 
 ...wrote html-distribution.sh to slurp up the
 HTML-formatted 		documentation 	...tweaked
 binary-distribution.sh so it no longer slurps up the 	
 HTML-formatted documentation

---
 binary-distribution.sh |    2 +-
 html-distribution.sh   |   14 ++++++++++++++
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 html-distribution.sh

diff --git a/binary-distribution.sh b/binary-distribution.sh
index 1867bd9..1a6a127 100755
--- a/binary-distribution.sh
+++ b/binary-distribution.sh
@@ -14,5 +14,5 @@ tar cf $b-binary.tar \
     $b/output/sbcl.core $b/src/runtime/sbcl \
     $b/BUGS $b/COPYING $b/CREDITS $b/INSTALL $b/NEWS $b/README \
     $b/install.sh \
-    $b/doc/sbcl.1 $b/doc/cmucl/cmu-user $b/doc/*.htm* \
+    $b/doc/sbcl.1 \
     $b/pubring.pgp
diff --git a/html-distribution.sh b/html-distribution.sh
new file mode 100644
index 0000000..b367193
--- /dev/null
+++ b/html-distribution.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+# Create a distribution containing the HTML versions of system
+# documentation. (make-doc.sh needs to be run first, in order to
+# compile the DocBook sources into HTML.)
+
+# (Before sbcl-0.7.0, this functionality was part of
+# binary-distribution.sh.)
+
+b=${1:?missing base directory name argument}
+tar cf $b-html.tar
+    `find $b -name '*.htm*'`
+    $b/COPYING $b/CREDITS $b/README \
+    $b/pubring.pgp
-- 
1.7.10.4