diff options
| author | Yuchen Pei <id@ypei.org> | 2023-10-02 18:51:11 +1100 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-10-02 18:51:11 +1100 |
| commit | 5a37d07c06b3fbcf9b486aa27f96ec5b4c630762 (patch) | |
| tree | 624a391bed77e87e6ac1ec2a0c7500f7eb96d9a9 /Makefile | |
| parent | b43240e5936d327c35229c874abdb5b326ab437d (diff) | |
fix html export style
- custom_id for better anchors.
- no postamble
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions