diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/build-web-site | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-web-site b/bin/build-web-site index a980080..a7d67f0 100755 --- a/bin/build-web-site +++ b/bin/build-web-site | |||
@@ -18,7 +18,7 @@ umask 022 | |||
18 | 18 | ||
19 | prefix='/home/plugins' | 19 | prefix='/home/plugins' |
20 | 20 | ||
21 | export PATH="$prefix/src/poole:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" | 21 | export PATH="$prefix/libexec:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" |
22 | 22 | ||
23 | myself=${0##*/} | 23 | myself=${0##*/} |
24 | man_source_dir="$prefix/web/work/man" | 24 | man_source_dir="$prefix/web/work/man" |
@@ -54,7 +54,7 @@ ln -s "$output_dir" "$site_target_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 | # |
57 | poole.py --build \ | 57 | poole --build \ |
58 | --md-ext='extra' \ | 58 | --md-ext='extra' \ |
59 | --md-ext='headerid' \ | 59 | --md-ext='headerid' \ |
60 | --md-ext='toc' \ | 60 | --md-ext='toc' \ |