build/tools/make-html-docs

   1 #!/bin/sh
   2 #
   3 # This script creates archives of HTML documentation in  tar.bz2 and zip
   4 # formats. It relies on docs/doxygen/regen.sh to really generate the docs.
   5 #
   6 # The script should be ran from the root of wxWidgets checkout and creates the
   7 # output files in its parent directory.
   8
   9 version=$1
  10 if [ -z "$version" ]; then
  11     echo "Must specify the distribution version." >&2
  12     exit 1
  13 fi
  14
  15 set -e
  16 set -x
  17
  18 docs_dir_name=wxWidgets-$version
  19 docs_file_basename=wxWidgets-$version-docs-html
  20
  21 cd docs/doxygen
  22 ./regen.sh html
  23 cd out
  24 mv html $docs_dir_name
  25 tar cjf ../../../../$docs_file_basename.tar.bz2 $docs_dir_name
  26 cd $docs_dir_name
  27 zip -q -r ../../../../../$docs_file_basename.zip .
  28
  29 cd ..
  30 mv $docs_dir_name html