diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-12-19 21:15:43 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-12-19 21:18:02 -0800 |
| commit | b0a6c472f881a3e0a7b61722fb6fddbcc39e5139 (patch) | |
| tree | 511cc8147fef48a302128eae05af1ff37c21d092 /tools/mkcasefold.pl | |
| parent | 774ac507fc7e86c6fe0d7b16a3c1abaed4849fab (diff) | |
Changed API for CUSTOM_BLOCK and CUSTOM_INLINE.
Instead of using their `as.literal` content, we now
give each custom node *two* literal fields, one to
be printed on entering the node (before rendering
the children, if any), the other on exiting (after
rendering children).
This gives us the flexibility to have custom nodes
with children.
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions