mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-04-22 22:56:58 -04:00
11 lines
375 B
Makefile
11 lines
375 B
Makefile
|
# Quick makefile to create developer-guidelines.html
|
||
|
|
|
||
|
|
developer-guidelines.html: developer-guidelines.sgml
|
||
|
|
if which docbook2html > /dev/null 2>&1; then \
|
||
|
|
docbook2html -u developer-guidelines.sgml ;\
|
||
|
|
if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \
|
||
|
|
mv developer-guidelines/developer-guidelines.html . ;\
|
||
|
|
rm -f developer-guidelines ;\
|
||
|
|
fi ;\
|
||
|
|
fi
|