From 00969b063124667eb395679bce3194ffea85a36f Mon Sep 17 00:00:00 2001 From: Pedro Date: Fri, 6 Mar 2015 00:24:10 +0000 Subject: [PATCH] create zip file of the docs --- build/documentation/build_docs.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/build/documentation/build_docs.sh b/build/documentation/build_docs.sh index bdf038a..dfc438a 100755 --- a/build/documentation/build_docs.sh +++ b/build/documentation/build_docs.sh @@ -121,6 +121,18 @@ if [ "$BUILD_API" -eq 1 ]; then echo "PROJECT_NUMBER=$TIDY_VERSION"; \ echo "HTML_EXTRA_FILES=$OUTP_DIR/quickref.html ./examples/tidy5.cmd.txt"; ) \ | doxygen - > /dev/null + + # cleanup + rm "./examples/tidy5.cmd.txt" + rm "./examples/LICENSE.md" + + ## create zip file of docs + cd $OUTP_DIR; + zip -r "tidy-docs-$TIDY_VERSION.zip" ./tidylib_api + + + + echo "\nTidyLib API documentation has been built." else echo "* $OUTP_DIR/tidylib_api/ was skipped because not all dependencies were satisfied."