diff options
author | Chris Johns <chrisj@rtems.org> | 2017-09-15 01:22:03 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-09-15 01:22:03 +0000 |
commit | a5294ea7d40d3370e8e29cee57dd48baf5fad4da (patch) | |
tree | 8f7d5ed8530af8a5d50af9b312beb56903bd7c86 /doxygen/builder/rtems-doxygen-publish | |
parent | 55e1973c05243c5c92390762a12f36da9c4870af (diff) |
Add doxygen publishing scripts.
Diffstat (limited to 'doxygen/builder/rtems-doxygen-publish')
-rwxr-xr-x | doxygen/builder/rtems-doxygen-publish | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/doxygen/builder/rtems-doxygen-publish b/doxygen/builder/rtems-doxygen-publish new file mode 100755 index 0000000..4f12eab --- /dev/null +++ b/doxygen/builder/rtems-doxygen-publish @@ -0,0 +1,51 @@ +#! /bin/sh +# +# RTEMS Documentation Project +# +# Copyright 2017 Chris Johns <chrisj@rtems.org> +# All rights reserved +# +# Public domain +# + +# +# Exit on error. +# +set -e + +# +# Executables +# +cp=/bin/cp +rm=/bin/rm + +# +# We run where the script is located. +# +cd $(dirname $0) + +# +# Top directory +# +top=$PWD + +# +# The current directory. +# +current=/data/www/docs.rtems.org/doxygen/branches + +# +# The new docs +# +new=${top}/latest/new + +# +# If there is a new directory we have something to publsh. +# +if [ -d ${new} ]; then + ${rm} -rf ${current}.tags ${current}/* + ${cp} -r ${new}/.tags ${new}/* ${current}/. + ${rm} -rf ${new} +fi + +exit 0 |