git-update-mirror: Remove a useless sed(1) call
[monitoring-plugins.git] / doc / makefile
blobb1b56c1831b94371ab9141c6628a360cdbf7f553
1 # Quick makefile to create developer-guidelines.html
3 developer-guidelines.html: developer-guidelines.sgml
4 docbook2html -u developer-guidelines.sgml
5 if [ -e developer-guidelines/developer-guidelines.html ] ; then \
6 mv developer-guidelines/developer-guidelines.html . ;\
7 rm -rf developer-guidelines ;\
8 fi
10 clean:
11 rm -f developer-guidelines.html