check_overcr: update copyright
[monitoring-plugins.git] / doc / makefile
blob89caf9ed839c01112a741eb7a80c2c78706465f2
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 developer-guidelines.html.last jade-out.fot