summaryrefslogtreecommitdiffstats
path: root/doc/makefile
blob: a22613c27657ae0ec70d0629758a9e77201a8f02 (plain)
1
2
3
4
5
6
7
# 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 ;\