diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/clean')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/clean | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/clean b/resources/scripts/helpers/build/docs/clean new file mode 100755 index 00000000..c0525525 --- /dev/null +++ b/resources/scripts/helpers/build/docs/clean @@ -0,0 +1,7 @@ +#!/bin/sh -e + +basedir="docs/manual" + +echo "Cleaning $basedir..." +if [ -d $basedir ]; then rm -Rf $basedir; fi +echo "Done." |