diff options
| author | Ton Voon <tonvoon@users.sourceforge.net> | 2003-06-29 00:58:38 +0000 |
|---|---|---|
| committer | Ton Voon <tonvoon@users.sourceforge.net> | 2003-06-29 00:58:38 +0000 |
| commit | d6b9172d65d6cb9b31704ab9353ca53083c07e51 (patch) | |
| tree | 45b7a1fa8ce83d0a0162f9afe6896d0102d792cd /doc/makefile | |
| parent | 6923e72f7f0e9d03fdf5132df9324536f5904c2f (diff) | |
| download | monitoring-plugins-d6b9172d65d6cb9b31704ab9353ca53083c07e51.tar.gz | |
Fixed makefile
git-svn-id: https://nagiosplug.svn.sourceforge.net/svnroot/nagiosplug/nagiosplug/trunk@563 f882894a-f735-0410-b71e-b25c423dba1c
Diffstat (limited to 'doc/makefile')
| -rw-r--r-- | doc/makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile index a22613c2..f0c9114a 100644 --- a/doc/makefile +++ b/doc/makefile | |||
| @@ -4,4 +4,5 @@ developer-guidelines.html: developer-guidelines.sgml | |||
| 4 | docbook2html -u developer-guidelines.sgml | 4 | docbook2html -u developer-guidelines.sgml |
| 5 | if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \ | 5 | if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \ |
| 6 | mv developer-guidelines/developer-guidelines.html . ;\ | 6 | mv developer-guidelines/developer-guidelines.html . ;\ |
| 7 | rm -f developer-guidelines ;\ | 7 | rm -f developer-guidelines ;\ |
| 8 | fi | ||