integration hassles, cont'd:

[sbcl.git] / html-distribution.sh

diff --git a/html-distribution.sh b/html-distribution.sh
new file mode 100644 (file)
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