#!/bin/sh
+set -e
# 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.)
+# compile the doc sources into HTML.)
b=${1:?missing base directory name argument}
tar cf $b-html.tar \