html-distribution.sh

   1 #!/bin/sh
   2 set -e
   3
   4 # Create a distribution containing the HTML versions of system
   5 # documentation. (cd doc/manual && make needs to be run first, in order to
   6 # compile the doc sources into HTML.)
   7
   8 b=${1:?missing base directory name argument}
   9 tar cf $b-documentation-html.tar \
  10     `find $b -name '*.htm*'` \
  11     $b/COPYING $b/CREDITS $b/README \
  12     $b/pubring.pgp