diff options
Diffstat (limited to 'bin/build-web-site')
-rwxr-xr-x | bin/build-web-site | 41 |
1 files changed, 26 insertions, 15 deletions
diff --git a/bin/build-web-site b/bin/build-web-site index 95ac355..9886b7a 100755 --- a/bin/build-web-site +++ b/bin/build-web-site | |||
@@ -16,31 +16,42 @@ set -e | |||
16 | set -u | 16 | set -u |
17 | 17 | ||
18 | prefix='/home/plugins' | 18 | prefix='/home/plugins' |
19 | poole_dir="$prefix/web/generator" | 19 | |
20 | site_source_dir="$prefix/exported/site/web/content" | 20 | export PATH="$prefix/src/poole:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" |
21 | site_target_dir="$poole_dir/input" | 21 | |
22 | myself=${0##*/} | ||
22 | man_source_dir="$prefix/web/work/man" | 23 | man_source_dir="$prefix/web/work/man" |
23 | man_target_dir="$site_target_dir/doc/man" | ||
24 | guidelines_source="$prefix/web/work/guidelines.html" | 24 | guidelines_source="$prefix/web/work/guidelines.html" |
25 | guidelines_target="$site_target_dir/doc/guidelines.html" | 25 | site_target_dir=$(mktemp -d "/tmp/$myself.XXXXXX") |
26 | man_target_dir="$site_target_dir/input/doc/man" | ||
27 | guidelines_target="$site_target_dir/input/doc/guidelines.html" | ||
26 | 28 | ||
27 | export PATH="$prefix/src/poole:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" | 29 | trap 'rm -rf "$site_target_dir"' EXIT |
30 | |||
31 | if [ $# -gt 0 ] && [ "$1" = '-t' ] | ||
32 | then # Build test instance. | ||
33 | site_source_dir="$prefix/exported/site-test/web" | ||
34 | output_dir="$prefix/web/test" | ||
35 | else | ||
36 | site_source_dir="$prefix/exported/site/web" | ||
37 | output_dir="$prefix/web/site" | ||
38 | fi | ||
28 | 39 | ||
29 | # | 40 | # |
30 | # Collect the pieces of the site. | 41 | # Collect the pieces of the site, and create a link to the output directory. |
31 | # | 42 | # |
32 | rsync -aH --delete "$site_source_dir/" "$site_target_dir" | 43 | rsync -aH "$site_source_dir/" "$site_target_dir" |
33 | rsync -aH "$man_source_dir/" "$man_target_dir" | 44 | rsync -aH "$man_source_dir/" "$man_target_dir" |
34 | cp -p "$guidelines_source" "$guidelines_target" | 45 | cp -p "$guidelines_source" "$guidelines_target" |
35 | 46 | ln -s "$output_dir" "$site_target_dir/output" | |
36 | cd "$poole_dir" | ||
37 | 47 | ||
38 | # | 48 | # |
39 | # See http://pythonhosted.org/Markdown/extensions/ for documentation on the | 49 | # See http://pythonhosted.org/Markdown/extensions/ for documentation on the |
40 | # extensions. | 50 | # extensions. |
41 | # | 51 | # |
42 | exec poole.py --build \ | 52 | poole.py --build \ |
43 | --md-ext='extra' \ | 53 | --md-ext='extra' \ |
44 | --md-ext='headerid' \ | 54 | --md-ext='headerid' \ |
45 | --md-ext='toc' \ | 55 | --md-ext='toc' \ |
46 | --md-ext='wikilinks' | 56 | --md-ext='wikilinks' \ |
57 | "$site_target_dir" | ||