Switch to latest Poole version

Use the latest Poole code currently available at:

https://hg.sr.ht/~obensonne/poole

Rather than including the code in this repository, expect it to be found
in the PATH (e.g., in $prefix/opt/poole/env/bin).  As Poole is
Python-3-based now, update web/macros.py accordingly.

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
 
 prefix='/home/plugins'
 
-export PATH="$prefix/libexec:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin"
+export PATH="$prefix/libexec:$prefix/opt/poole:$prefix/opt/poole/env/bin:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin"
 
 myself=${0##*/}
 man_source_dir="$prefix/web/work/man"
@@ -54,9 +54,8 @@ ln -s "$output_dir" "$site_work_dir/output"
 # See http://pythonhosted.org/Markdown/extensions/ for documentation on the
 # extensions.
 #
-poole --build                   \
+poole.py --build                \
     --md-ext='extra'            \
-    --md-ext='headerid'         \
     --md-ext='toc'              \
     --md-ext='wikilinks'        \
     "$site_work_dir"