From 501622816878fbae771a23449eab6d274e9a147a Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 29 Dec 2024 19:40:53 +0100
Subject: 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.
---
 bin/build-web-site | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'bin/build-web-site')

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"
-- 
cgit v1.2.3-74-g34f1