doc/makefile

   1 # Quick makefile to create developer-guidelines.html
   2
   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 -f developer-guidelines ;\