diff options
| author | Albert Krewinkel <[email protected]> | 2023-03-29 21:45:34 +0200 |
|---|---|---|
| committer | Albert Krewinkel <[email protected]> | 2023-03-29 21:46:06 +0200 |
| commit | d27878063ef91c6b63b26d18f94af513b6e364f5 (patch) | |
| tree | 0f23f3709ee1a3ffd7a6d188f3b50bf84e17b9b2 | |
| parent | 832d66e8a35f8d140ad1c55523fa94eaa189a8b9 (diff) | |
MANUAL: update link to custom djot writer.
| -rw-r--r-- | MANUAL.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 13c9af32d..27255fc14 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -7220,7 +7220,7 @@ subdirectory of your user data directory (see [Templates]). [Lua]: https://www.lua.org [lpeg]: http://www.inf.puc-rio.br/~roberto/lpeg/ -[djot-writer.lua]: https://github.com/jgm/djot/blob/main/djot-writer.lua +[djot-writer.lua]: https://github.com/jgm/djot.lua/blob/main/djot-writer.lua # Reproducible builds |