diff options
-rwxr-xr-x | bin/build-web-site | 20 |
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: | |||
23 | myself=${0##*/} | 23 | myself=${0##*/} |
24 | man_source_dir="$prefix/web/work/man" | 24 | man_source_dir="$prefix/web/work/man" |
25 | guidelines_source="$prefix/web/work/guidelines.html" | 25 | guidelines_source="$prefix/web/work/guidelines.html" |
26 | site_target_dir=$(mktemp -d "/tmp/$myself.XXXXXX") | 26 | site_work_dir=$(mktemp -d "/tmp/$myself.XXXXXX") |
27 | man_target_dir="$site_target_dir/input/doc/man" | 27 | man_work_dir="$site_work_dir/input/doc/man" |
28 | guidelines_target="$site_target_dir/input/doc/guidelines.html" | 28 | guidelines_target="$site_work_dir/input/doc/guidelines.html" |
29 | 29 | ||
30 | trap 'rm -rf "$site_target_dir"' EXIT | 30 | trap 'rm -rf "$site_work_dir"' EXIT |
31 | 31 | ||
32 | if [ $# -gt 0 ] && [ "$1" = '-t' ] | 32 | if [ $# -gt 0 ] && [ "$1" = '-t' ] |
33 | then # Build test instance. | 33 | then # Build test instance. |
@@ -39,16 +39,16 @@ else | |||
39 | fi | 39 | fi |
40 | 40 | ||
41 | # Grab the Poole source of the site. | 41 | # Grab the Poole source of the site. |
42 | tar -C "$site_source_dir" -cf - 'input' | tar -C "$site_target_dir" -xpf - | 42 | tar -C "$site_source_dir" -cf - 'input' | tar -C "$site_work_dir" -xpf - |
43 | cp "$site_source_dir/macros.py" "$site_target_dir" | 43 | cp "$site_source_dir/macros.py" "$site_work_dir" |
44 | cp "$site_source_dir/page.html" "$site_target_dir" | 44 | cp "$site_source_dir/page.html" "$site_work_dir" |
45 | 45 | ||
46 | # Grab the pre-built documentation. | 46 | # Grab the pre-built documentation. |
47 | tar -C "$man_source_dir" -cf - '.' | tar -C "$man_target_dir" -xpf - | 47 | tar -C "$man_source_dir" -cf - '.' | tar -C "$man_work_dir" -xpf - |
48 | cp "$guidelines_source" "$guidelines_target" | 48 | cp "$guidelines_source" "$guidelines_target" |
49 | 49 | ||
50 | # Create a link to the output directory. | 50 | # Create a link to the output directory. |
51 | ln -s "$output_dir" "$site_target_dir/output" | 51 | ln -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" |