MANUAL: update link to custom djot writer.

This commit is contained in:
Albert Krewinkel
2023-03-29 21:46:06 +02:00
parent 832d66e8a3
commit d27878063e
+1 -1
View File
@@ -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