1 files changed, 46 insertions, 0 deletions

diff --git a/bin/build-web-site b/bin/build-web-site
new file mode 100755
index 0000000..95ac355
--- /dev/null
+++ b/bin/build-web-site
@@ -0,0 +1,46 @@
+#!/bin/sh
+#
+# Copyright (c) 2013 Nagios Plugins Development Team
+#
+# Originally written by Holger Weiss <holger@zedat.fu-berlin.de>.
+#
+# This file is free software; the Nagios Plugins Development Team gives
+# unlimited permission to copy and/or distribute it, with or without
+# modifications, as long as this notice is preserved.
+#
+# This program is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY, to the extent permitted by law; without even the implied
+# warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+
+set -e
+set -u
+
+prefix='/home/plugins'
+poole_dir="$prefix/web/generator"
+site_source_dir="$prefix/exported/site/web/content"
+site_target_dir="$poole_dir/input"
+man_source_dir="$prefix/web/work/man"
+man_target_dir="$site_target_dir/doc/man"
+guidelines_source="$prefix/web/work/guidelines.html"
+guidelines_target="$site_target_dir/doc/guidelines.html"
+
+export PATH="$prefix/src/poole:/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin"
+
+#
+# Collect the pieces of the site.
+#
+rsync -aH --delete "$site_source_dir/" "$site_target_dir"
+rsync -aH "$man_source_dir/" "$man_target_dir"
+cp -p "$guidelines_source" "$guidelines_target"
+
+cd "$poole_dir"
+
+#
+# See http://pythonhosted.org/Markdown/extensions/ for documentation on the
+# extensions.
+#
+exec poole.py --build   \
+    --md-ext='extra'    \
+    --md-ext='headerid' \
+    --md-ext='toc'      \
+    --md-ext='wikilinks'