annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
169
eb7d220465fb Added convenience makefile for generating docs
lost@l-w.ca
parents:
diff changeset
1 all:
170
372d7c881831 More manual updates
lost@l-w.ca
parents: 169
diff changeset
2 hg rm manual/* || true
372d7c881831 More manual updates
lost@l-w.ca
parents: 169
diff changeset
3 rm -f manual/*.pdf manual/*.html
169
eb7d220465fb Added convenience makefile for generating docs
lost@l-w.ca
parents:
diff changeset
4 docbook2html -o manual manual.docbook.sgml
eb7d220465fb Added convenience makefile for generating docs
lost@l-w.ca
parents:
diff changeset
5 docbook2html -u manual.docbook.sgml && mv manual.docbook.html manual/manual.html
eb7d220465fb Added convenience makefile for generating docs
lost@l-w.ca
parents:
diff changeset
6 docbook2pdf -u manual.docbook.sgml && mv manual.docbook.pdf manual/manual.pdf
174
411ef9735264 Fixing up helper for building manual
lost@l-w.ca
parents: 170
diff changeset
7 rm -f manual.docbook.html
169
eb7d220465fb Added convenience makefile for generating docs
lost@l-w.ca
parents:
diff changeset
8 hg add manual/*