aboutsummaryrefslogtreecommitdiff
path: root/tools/update-readme.lua
AgeCommit message (Collapse)AuthorFilesLines
2019-12-10Fix README.md so that relative links from manual become absolute.John MacFarlane1-9/+15
Previously they'd be broken links when viewed on GitHub or Hackage. So we add the base URL for the pandoc manual.
2018-04-22New README template, take in/out formats from manual.John MacFarlane1-32/+16
2017-12-30Fixed small bug in README generation.John MacFarlane1-5/+5
2017-12-29Generate README.md from template and MANUAL.txt.John MacFarlane1-0/+38
`make README.md` will generate the README.md after changes to MANUAL.txt have been made.