From 1bbac9e5cec4b94f7fefa765ac26bcb1dd826b57 Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Thu, 27 Dec 2012 20:33:13 -0800 Subject: Make the Makefile use the new build_documentation.sh script (gulp) --- build_tools/build_documentation.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build_tools') 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 -- cgit v1.2.3