diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-18 22:15:24 +0100 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-18 22:15:24 +0100 |
| commit | d2fbe2895ac8d73c7661520b598034681bdbf24a (patch) | |
| tree | b3bfc27e56f039c0054f591660f75b3654d2a94d /bin/build-docs | |
| parent | c7e2646748dc435a18947483c2147a7197c9b983 (diff) | |
| download | site-d2fbe2895ac8d73c7661520b598034681bdbf24a.tar.gz | |
bin/build-*: Replace "nagios-plugins"
Replace "nagios-plugins" with "monitoring-plugins" in our build scripts.
Diffstat (limited to 'bin/build-docs')
| -rwxr-xr-x | bin/build-docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-docs b/bin/build-docs index ee8811e..0bdcdb2 100755 --- a/bin/build-docs +++ b/bin/build-docs | |||
| @@ -18,7 +18,7 @@ set -u | |||
| 18 | export PATH='/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin' | 18 | export PATH='/usr/local/bin:/usr/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin' |
| 19 | 19 | ||
| 20 | prefix='/home/plugins' | 20 | prefix='/home/plugins' |
| 21 | repository="$prefix/repositories/nagios-plugins.git" | 21 | repository="$prefix/repositories/monitoring-plugins.git" |
| 22 | branch='master' | 22 | branch='master' |
| 23 | guidelines="$prefix/web/work/guidelines.html" | 23 | guidelines="$prefix/web/work/guidelines.html" |
| 24 | man_dir="$prefix/web/work/man" | 24 | man_dir="$prefix/web/work/man" |