diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-23 19:10:23 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-23 19:10:23 +0200 |
| commit | 1a5c98ed1478a271e277cb67533b4f37d7c2650c (patch) | |
| tree | 7f2469d0e53ca4ca48e40defe70bb3238395d1c3 /Makefile | |
| parent | b34efac5a971cfb8a2fb4f4842f9a16b9d036f51 (diff) | |
git commit -m misc updates
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ PDF_DOCUMENTS = _site/report.pdf include _make/*.mk -DOCUMENT_APPENDIX_REGEX = Pandoc plugin semantic-markdown +DOCUMENT_APPENDIX_REGEX = Pandoc filter semantic-markdown FILTER = _extensions/ruc-play/semantic-markdown/semantic-markdown.lua |