First dot leader implementation

This commit is contained in:
John Whitington
2024-12-03 17:14:37 +00:00
parent 2f87b33317
commit 3ba639824c
2 changed files with 14 additions and 9 deletions

View File

@@ -2922,7 +2922,7 @@ let specs =
("-toc-no-bookmark",
Arg.Unit settocnobookmark,
" Don't add the table of contents to the bookmarks");
("-toc-dot-leader",
("-toc-dot-leaders",
Arg.Unit (fun () -> args.dot_leader <- true),
" Add a dot leader to TOC entries");
("-typeset",