summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/build-web-site5
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/build-web-site b/bin/build-web-site
index cbfc8c3..3b5e4a9 100755
--- a/bin/build-web-site
+++ b/bin/build-web-site
@@ -18,7 +18,7 @@ umask 022
18 18
19prefix='/home/plugins' 19prefix='/home/plugins'
20 20
21export PATH="$prefix/libexec:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" 21export PATH="$prefix/libexec:$prefix/opt/poole:$prefix/opt/poole/env/bin:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin"
22 22
23myself=${0##*/} 23myself=${0##*/}
24man_source_dir="$prefix/web/work/man" 24man_source_dir="$prefix/web/work/man"
@@ -54,9 +54,8 @@ ln -s "$output_dir" "$site_work_dir/output"
54# See http://pythonhosted.org/Markdown/extensions/ for documentation on the 54# See http://pythonhosted.org/Markdown/extensions/ for documentation on the
55# extensions. 55# extensions.
56# 56#
57poole --build \ 57poole.py --build \
58 --md-ext='extra' \ 58 --md-ext='extra' \
59 --md-ext='headerid' \
60 --md-ext='toc' \ 59 --md-ext='toc' \
61 --md-ext='wikilinks' \ 60 --md-ext='wikilinks' \
62 "$site_work_dir" 61 "$site_work_dir"