summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-01-08 12:18:55 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-01-08 12:18:55 (GMT)
commit02e47f1472703876a63c3a1eb448831ae01d9cfc (patch)
tree3add879c0ad5a0906b10864e7f9ab59572fd585d /bin
parent176e7eefe1393b312ab4b6999e4a1bbb4343f742 (diff)
downloadsite-02e47f1472703876a63c3a1eb448831ae01d9cfc.tar.gz
build-web-site: Rename variables
"Work dir" is a better description than "target dir".
Diffstat (limited to 'bin')
-rwxr-xr-xbin/build-web-site20
1 files changed, 10 insertions, 10 deletions
diff --git a/bin/build-web-site b/bin/build-web-site
index a7d67f0..cbfc8c3 100755
--- a/bin/build-web-site
+++ b/bin/build-web-site
@@ -23,11 +23,11 @@ export PATH="$prefix/libexec:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:
23myself=${0##*/} 23myself=${0##*/}
24man_source_dir="$prefix/web/work/man" 24man_source_dir="$prefix/web/work/man"
25guidelines_source="$prefix/web/work/guidelines.html" 25guidelines_source="$prefix/web/work/guidelines.html"
26site_target_dir=$(mktemp -d "/tmp/$myself.XXXXXX") 26site_work_dir=$(mktemp -d "/tmp/$myself.XXXXXX")
27man_target_dir="$site_target_dir/input/doc/man" 27man_work_dir="$site_work_dir/input/doc/man"
28guidelines_target="$site_target_dir/input/doc/guidelines.html" 28guidelines_target="$site_work_dir/input/doc/guidelines.html"
29 29
30trap 'rm -rf "$site_target_dir"' EXIT 30trap 'rm -rf "$site_work_dir"' EXIT
31 31
32if [ $# -gt 0 ] && [ "$1" = '-t' ] 32if [ $# -gt 0 ] && [ "$1" = '-t' ]
33then # Build test instance. 33then # Build test instance.
@@ -39,16 +39,16 @@ else
39fi 39fi
40 40
41# Grab the Poole source of the site. 41# Grab the Poole source of the site.
42tar -C "$site_source_dir" -cf - 'input' | tar -C "$site_target_dir" -xpf - 42tar -C "$site_source_dir" -cf - 'input' | tar -C "$site_work_dir" -xpf -
43cp "$site_source_dir/macros.py" "$site_target_dir" 43cp "$site_source_dir/macros.py" "$site_work_dir"
44cp "$site_source_dir/page.html" "$site_target_dir" 44cp "$site_source_dir/page.html" "$site_work_dir"
45 45
46# Grab the pre-built documentation. 46# Grab the pre-built documentation.
47tar -C "$man_source_dir" -cf - '.' | tar -C "$man_target_dir" -xpf - 47tar -C "$man_source_dir" -cf - '.' | tar -C "$man_work_dir" -xpf -
48cp "$guidelines_source" "$guidelines_target" 48cp "$guidelines_source" "$guidelines_target"
49 49
50# Create a link to the output directory. 50# Create a link to the output directory.
51ln -s "$output_dir" "$site_target_dir/output" 51ln -s "$output_dir" "$site_work_dir/output"
52 52
53# 53#
54# See http://pythonhosted.org/Markdown/extensions/ for documentation on the 54# See http://pythonhosted.org/Markdown/extensions/ for documentation on the
@@ -59,4 +59,4 @@ poole --build \
59 --md-ext='headerid' \ 59 --md-ext='headerid' \
60 --md-ext='toc' \ 60 --md-ext='toc' \
61 --md-ext='wikilinks' \ 61 --md-ext='wikilinks' \
62 "$site_target_dir" 62 "$site_work_dir"