Werner Lemberg 97b808fdad [docmaker] Allow `foo[bar]' as identifier.
We need this to handle equally named properties in different
modules.

* src/tools/docmaker/content.py (re_identifier),
src/tools/docmaker/sources.py (re_crossref): Allow `foo[bar]'.

* src/tools/docmaker/tohtml.py (HtmlFormatter::make_html_word,
HtmlFormatter::index_exit, HtmlFormatter::section_enter,
HtmlFormatter::block_enter): Handle `foo[bar]'.
2015-11-26 14:29:17 +01:00
..
2015-10-31 19:08:27 +01:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-09-29 12:38:11 +02:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-10-30 08:07:56 +01:00
2015-06-21 19:12:12 +02:00