diff options
author | Frans Pop <elendil@planet.nl> | 2009-08-02 09:03:42 +0000 |
---|---|---|
committer | Frans Pop <elendil@planet.nl> | 2009-08-02 09:03:42 +0000 |
commit | 25de48076e0dfda023df363b30298488286c6700 (patch) | |
tree | ab2dcb7de9b9f6ab10788a8a0169783819aaf1da | |
parent | c6a4226aeaf5e96036af30936869b0980ac25573 (diff) | |
download | installation-guide-25de48076e0dfda023df363b30298488286c6700.zip |
Make it possible to call clear.sh from the root directory for the manual
-rwxr-xr-x | build/clear.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/clear.sh b/build/clear.sh index a2af88089..35178fe86 100755 --- a/build/clear.sh +++ b/build/clear.sh @@ -1,4 +1,9 @@ #!/bin/sh +basedir="$(cd "$(dirname $0)"; pwd)" +manual_path="$(echo $basedir | sed "s:/build$::")" +build_path="$manual_path/build" +cd $build_path + rm -rf build.out rm -rf build.tmp |