mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-02-03 18:49:29 -05:00
c5601df62f
git-svn-id: https://nagiosplug.svn.sourceforge.net/svnroot/nagiosplug/nagiosplug/trunk@935 f882894a-f735-0410-b71e-b25c423dba1c
11 lines
353 B
Makefile
11 lines
353 B
Makefile
# Quick makefile to create developer-guidelines.html
|
|
|
|
developer-guidelines.html: developer-guidelines.sgml
|
|
docbook2html -u developer-guidelines.sgml
|
|
if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \
|
|
mv developer-guidelines/developer-guidelines.html . ;\
|
|
rm -f developer-guidelines ;\
|
|
fi
|
|
|
|
clean:
|
|
rm -f developer-guidelines.html
|