John MacFarlane 81b0b20827 Generate README.md from template and MANUAL.txt. ... `make README.md` will generate the README.md after changes to MANUAL.txt have been made.		2017-12-29 16:41:51 -08:00
..
extract-changes.hs	Moved extract-changes.hs and github-upload.sh to tools/.	2017-01-25 17:07:41 +01:00
github-upload.sh	Moved extract-changes.hs and github-upload.sh to tools/.	2017-01-25 17:07:41 +01:00
ldoc.ltp	Moved ldoc.ltp from doc to tools.	2017-09-16 22:47:49 -07:00
pandoc-template-mode.el	pandoc-template-mode.el: Improve.	2017-11-03 01:16:26 +01:00
update-lua-docs.lua	Update tool which generates lua module docs	2017-12-29 10:04:55 +01:00
update-readme.lua	Generate README.md from template and MANUAL.txt.	2017-12-29 16:41:51 -08:00