Skip to content

Cures missing index entries problem - #337

Merged
AnEnglishmanInNorway merged 2 commits into
bash0:masterfrom
AnEnglishmanInNorway:master
Oct 31, 2026
Merged

AnEnglishmanInNorway merged 2 commits into
bash0:masterfrom
AnEnglishmanInNorway:master

Conversation

@AnEnglishmanInNorway

Copy link
Copy Markdown
Collaborator

Closes #336
Also prevents an unnecessary blank index page
Also makes calculated suggestions as to how an index may be reduced to one page
Allow decimal font size specification for index entries

Provide advice as to how to make a multi page index fit in fewer pages
Accept decimal point size settings for the index page
@AnEnglishmanInNorway
AnEnglishmanInNorway merged commit 0d642ad into bash0:master Oct 31, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

An index term which has been subject to a font size reduction is not indexed

1 participant