|
|
9414c90788
|
Don't keep edited markdown files
|
2023-08-05 16:07:50 -06:00 |
|
|
|
dca5681dc9
|
Added author's note
|
2023-08-05 12:54:02 -06:00 |
|
|
|
cd740760b4
|
Work around possible Pandoc bug
See github.com/jgm/pandoc/issues/8982
|
2023-08-03 21:21:53 -06:00 |
|
|
|
ff9ad5f107
|
Fix footnote bodies
|
2023-08-03 18:46:41 -06:00 |
|
|
|
ca9ce5723e
|
Fix untitled sections not appearing
|
2023-08-03 16:35:42 -06:00 |
|
|
|
0258f462ff
|
Include appendix
|
2023-08-03 16:35:31 -06:00 |
|
|
|
f609d950d5
|
Automated conversion to markdown
|
2023-08-03 15:50:47 -06:00 |
|
