diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 20:33:13 -0800 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 20:33:13 -0800 |
commit | 1bbac9e5cec4b94f7fefa765ac26bcb1dd826b57 (patch) | |
tree | 73bf22d5e24934f7600993c0ae93b39dca673723 /build_tools | |
parent | 705793eae63e52a4c92b0b130f9df0594d8fc2f4 (diff) |
Make the Makefile use the new build_documentation.sh script (gulp)
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/build_documentation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 232f3469..42b71eac 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -84,7 +84,7 @@ fi # Destroy TMPLOC echo "Cleaning up '$TMPLOC'" -#rm -Rf "$TMPLOC" +rm -Rf "$TMPLOC" if test $RESULT == 0; then # Tell the user what we did |