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 |
rev |
line source |
169
|
1 all:
|
170
|
2 hg rm manual/* || true
|
|
3 rm -f manual/*.pdf manual/*.html
|
169
|
4 docbook2html -o manual manual.docbook.sgml
|
|
5 docbook2html -u manual.docbook.sgml && mv manual.docbook.html manual/manual.html
|
|
6 docbook2pdf -u manual.docbook.sgml && mv manual.docbook.pdf manual/manual.pdf
|
174
|
7 rm -f manual.docbook.html
|
169
|
8 hg add manual/*
|