view docs/Makefile @ 261:f45b2a68c3da

Make case insensitive symbols error out on duplication Make case insensitive symbols raise multiply defined symbol errors in the following circumstances: * if the original symbol was defined under symbolnocase * if the current symbol is being defined under symbolnocse
author William Astle <lost@l-w.ca>
date Mon, 04 Feb 2013 20:51:55 -0700
parents 411ef9735264
children e4ad15af2e93
line wrap: on
line source

all:
	hg rm manual/* || true
	rm -f manual/*.pdf manual/*.html
	docbook2html -o manual manual.docbook.sgml
	docbook2html -u manual.docbook.sgml && mv manual.docbook.html manual/manual.html
	docbook2pdf -u manual.docbook.sgml && mv manual.docbook.pdf manual/manual.pdf
	rm -f manual.docbook.html
	hg add manual/*