diff options
author | 2015-10-13 22:59:54 +0000 | |
---|---|---|
committer | 2015-10-13 22:59:54 +0000 | |
commit | 35c319dedab41299e8ad1ec62697c36315fb88da (patch) | |
tree | 6d0023d2c650f7cadfa9c71eebdfd679f0bf3d51 /configure.local.example | |
parent | e47784200392e2dea53b3decd3ceb23e1e2a0ca6 (diff) | |
download | mandoc-35c319dedab41299e8ad1ec62697c36315fb88da.tar.gz mandoc-35c319dedab41299e8ad1ec62697c36315fb88da.tar.zst mandoc-35c319dedab41299e8ad1ec62697c36315fb88da.zip |
Major character table cleanup:
* Use ohash(3) rather than a hand-rolled hash table.
* Make the character table static in the chars.c module:
There is no need to pass a pointer around, we most certainly
never want to use two different character tables concurrently.
* No need to keep the characters in a separate file chars.in;
that merely encourages downstream porters to mess with them.
* Sort the characters to agree with the mandoc_chars(7) manual page.
* Specify Unicode codepoints in hex, not decimal (that's the detail
that originally triggered this patch).
No functional change, minus 100 LOC, and i don't see a performance change.
Diffstat (limited to 'configure.local.example')
0 files changed, 0 insertions, 0 deletions