diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-08 12:12:50 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-08 12:12:50 (GMT) |
| commit | 176e7eefe1393b312ab4b6999e4a1bbb4343f742 (patch) | |
| tree | 1a2d869db7cc29b16f6ac548f6be5ad7f7da02f9 /bin | |
| parent | b0faee1209f21ca38066d4cdc02320444e402f97 (diff) | |
| download | site-176e7eefe1393b312ab4b6999e4a1bbb4343f742.tar.gz | |
build-web-site: Use poole script in ~/libexec
Actually use the ~/libexec/poole script that's now maintained in this
repository.
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' \ |