mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-04-21 14:19:30 -04:00
Fix the makefile ('[[' is bash-specific, 'rm -f' don't remove directories)
git-svn-id: https://nagiosplug.svn.sourceforge.net/svnroot/nagiosplug/nagiosplug/trunk@1623 f882894a-f735-0410-b71e-b25c423dba1c
This commit is contained in:
parent
9ca58a0dc3
commit
b31198c6ff
1 changed files with 2 additions and 2 deletions
|
|
@ -2,9 +2,9 @@
|
|||
|
||||
developer-guidelines.html: developer-guidelines.sgml
|
||||
docbook2html -u developer-guidelines.sgml
|
||||
if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \
|
||||
if [ -e developer-guidelines/developer-guidelines.html ] ; then \
|
||||
mv developer-guidelines/developer-guidelines.html . ;\
|
||||
rm -f developer-guidelines ;\
|
||||
rm -rf developer-guidelines ;\
|
||||
fi
|
||||
|
||||
clean:
|
||||
|
|
|
|||
Loading…
Reference in a new issue