diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-01-31 12:49:22 +0000 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-01-31 12:49:22 +0000 |
| commit | dfb9b24814264abb429e4d289685654c469ff362 (patch) | |
| tree | 9e4686fc56cfbb92ded6e514204210775da794b7 /BUGS | |
| parent | 2f7147aa05cbdcb8b1b2470877dffc663cb7a83e (diff) | |
| download | em-dfb9b24814264abb429e4d289685654c469ff362.tar.gz | |
Add index script
Index automatically adds appropriate ids to HTML headings
and prints an index of all headings on stderr (unless given the
-s, silent, option).
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions