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