From 24dfcbfac9efd8288f872a50afbd660a0ab57afa Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Mon, 23 Mar 2015 17:54:37 +0100 Subject: [PATCH] added small script do automatically updte Doxygen documentation --- contrib/update_docs.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 contrib/update_docs.sh diff --git a/contrib/update_docs.sh b/contrib/update_docs.sh new file mode 100755 index 000000000..f517e1e5b --- /dev/null +++ b/contrib/update_docs.sh @@ -0,0 +1,12 @@ +#/bin/bash + +cd $( cd "$( dirname "$0" )/.." && pwd ) + +LASTREV=$(git rev-parse HEAD) +git pull --all +NEWREV=$(git rev-parse HEAD) + +if [ "$LASTREV" != "$NEWREV" ]; then + echo "There's a new version. Running doxygen" + doxygen +fi