make-html-docs 710 B

123456789101112131415161718192021222324252627282930
  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. version=$1
  9. if [ -z "$version" ]; then
  10. echo "Must specify the distribution version." >&2
  11. exit 1
  12. fi
  13. set -e
  14. set -x
  15. docs_dir_name=wxWidgets-$version
  16. docs_file_basename=wxWidgets-$version-docs-html
  17. cd docs/doxygen
  18. ./regen.sh html
  19. cd out
  20. mv html $docs_dir_name
  21. tar cjf ../../../../$docs_file_basename.tar.bz2 $docs_dir_name
  22. cd $docs_dir_name
  23. zip -q -r ../../../../../$docs_file_basename.zip .
  24. cd ..
  25. mv $docs_dir_name html