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

@@ -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

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