doc/makefile

   1 # Quick makefile to create developer-guidelines.html
   2
   3 developer-guidelines.html: developer-guidelines.sgml
   4         if which docbook2html > /dev/null 2>&1; then \
   5                 docbook2html -u developer-guidelines.sgml ;\
   6                 if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \
   7                         mv developer-guidelines/developer-guidelines.html . ;\
   8                         rm -f developer-guidelines ;\
   9                 fi ;\
  10         fi