makefile 375 B

12345678910
  1. # Quick makefile to create developer-guidelines.html
  2. developer-guidelines.html: developer-guidelines.sgml
  3. if which docbook2html > /dev/null 2>&1; then \
  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 ;\
  8. fi ;\
  9. fi