blob: 95ac3555b72a3e1713a7c8a6821d279957d732c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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'
|
