From 176e7eefe1393b312ab4b6999e4a1bbb4343f742 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Wed, 8 Jan 2014 13:12:50 +0100
Subject: build-web-site: Use poole script in ~/libexec

Actually use the ~/libexec/poole script that's now maintained in this
repository.

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