summaryrefslogtreecommitdiffstats
path: root/doc/makefile
blob: cd12814e4690ddf87a102ebbe277927558322ea4 (plain)
1
2
3
4
5
6
7
8
9
10
# 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