From 1a6daae3852fdd66d91e7729a2d11c202f3e1c65 Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Thu, 7 Oct 2010 09:01:00 -0400 Subject: [PATCH] Add build- and clean-all.sh scripts for complete builds. --- _script/build-all.sh | 15 +++++++++++++++ _script/clean-all.sh | 15 +++++++++++++++ 2 files changed, 30 insertions(+) create mode 100755 _script/build-all.sh create mode 100755 _script/clean-all.sh diff --git a/_script/build-all.sh b/_script/build-all.sh new file mode 100755 index 0000000..f2ba2fd --- /dev/null +++ b/_script/build-all.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +ROOT=$(git rev-parse --show-cdup . | head -n1) +if [ -z "$ROOT" ]; then + ROOT="./" +fi + +build.sh "$ROOT" + +# html_toc.py does not search outside a TOC tree, so you need to start +# it at each additional TOC root. Run +# grep -r 'TableOfContents' | grep -v '/content/' +# to get a list of files containing TOCs. +html_toc.py "$ROOT"content/ +html_toc.py "$ROOT"assignments/archive/logistic_cuda/ diff --git a/_script/clean-all.sh b/_script/clean-all.sh new file mode 100755 index 0000000..96dc72a --- /dev/null +++ b/_script/clean-all.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +ROOT=$(git rev-parse --show-cdup . | head -n1) +if [ -z "$ROOT" ]; then + ROOT="./" +fi + +clean.sh "$ROOT" + +# html_toc.py does not search outside a TOC tree, so you need to start +# it at each additional TOC root. Run +# grep -r 'TableOfContents' | grep -v '/content/' +# to get a list of files containing TOCs. +html_toc.py --clean "$ROOT"content/ +html_toc.py --clean "$ROOT"assignments/archive/logistic_cuda/ -- 2.26.2