diff options
author | Ralph Amissah <ralph.amissah@gmail.com> | 2020-04-23 16:12:53 -0400 |
---|---|---|
committer | Ralph Amissah <ralph.amissah@gmail.com> | 2020-05-20 11:27:26 -0400 |
commit | 383deb217e3ec7d226ae6afdf587c6533a2a43fa (patch) | |
tree | 6c6cbbb8966f1f7629c834ebf0826df74867bd01 /misc/ext_lib | |
parent | cgi output, appearance, further adjustments (diff) |
backmatter, special sections, multiple fixes
- fix special sections eat other special sections,
e.g. glossary eats bibliography & other headings
- glossary stop object numbering on empty lines
- glossary remove indent markup instruction
- bibliography provide missing heading
Diffstat (limited to 'misc/ext_lib')
0 files changed, 0 insertions, 0 deletions