diff options
Diffstat (limited to 'bin/build-web-site')
| -rwxr-xr-x | bin/build-web-site | 5 |
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 | ||
| 19 | prefix='/home/plugins' | 19 | prefix='/home/plugins' |
| 20 | 20 | ||
| 21 | export PATH="$prefix/libexec:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin" | 21 | export 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 | ||
| 23 | myself=${0##*/} | 23 | myself=${0##*/} |
| 24 | man_source_dir="$prefix/web/work/man" | 24 | man_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 | # |
| 57 | poole --build \ | 57 | poole.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" |
