aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)AuthorFilesLines
2021-03-18build-arm.sh : remove strict checking on first ssh accessJohn MacFarlane1-0/+2
2021-03-08ARM build script: more reliable detection of completion.John MacFarlane1-1/+1
Previously we downloaded the tar.gz before it was complete.
2021-03-08build-arm.sh: fix elapsed time.John MacFarlane1-2/+6
2021-03-07build-arm.sh: env variable for ARTIFACTS.John MacFarlane1-1/+5
2021-03-07build-arm.sh: print total build timeJohn MacFarlane1-0/+3
2021-03-07Fixed build-arm script.John MacFarlane1-13/+19
Use environment variables which can be set to use different AMIs, keys, or instance types. Correctly detect successful build.
2021-03-07build-arm.sh: retrieve build artifacts after success.John MacFarlane1-0/+7
2021-03-07Add script to build an ARM binary on AWS.John MacFarlane1-0/+82
2021-02-26Add tools/parseTimings.pl.John MacFarlane1-0/+33
A script to help pin down which modules take the most time and memory to compile.
2021-02-21Fix changelog-helper.shJohn MacFarlane1-4/+11
2020-03-15make changes_github: use details tag to make changelog collapsible.John MacFarlane1-0/+6
2020-03-13tools: delete Lua documentation helper cruftAlbert Krewinkel2-87/+0
The tools were useful to generate documentation from the Lua sources. However, most Lua functions are defined in Haskell, and the even documentation of functions written in Lua has been updated manually for quite a while now. The unused helper scripts, which have bit-rot to the point that they now produce broken links, are therefore removed.
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.
2019-11-27Generate Emoji module with TH.John MacFarlane1-36/+0
- Add Text.Pandoc.Emoji.TH. - Replace long literal list in Text.Pandoc.Emoji with one-liner generating it from data/emoji.json using TH. - Add Makefile target to download data/emoji.json. - Remove tools/emoji.hs.
2019-11-22Fix extract-changes.hs to use new changelog.md format.John MacFarlane1-3/+6
2019-11-22Fix extract-changes.hs so it uses stack as interpreter.John MacFarlane1-0/+3
2019-07-29Update emoji list in Text.Pandoc.Emoji.John MacFarlane1-0/+36
Done using tools/emojis.hs, which uses the list from the gem GitHub uses. Future updates can be done with this tool. Closes #5666.
2019-07-17Fix diff-zip.sh so it works on Darwin.John MacFarlane1-1/+8
BSD find is slightly different and doesn't have -regextype option.
2019-07-12Update diff-zip to support windows (#5641)Agustín Martín Barbero1-3/+3
Trying to use this script on windows (git-bash) gave several errors: - *mktemp* complained about missing XXXs in the template (fixed by adding XXX) - *find* didn't understand the -E switch (fixed by using the equivalent arguments) - *terminal codes* were not being recognized by the console (-e added to echo)
2019-07-10Improve diff-docx.sh -> diff-zip.sh.John MacFarlane2-22/+26
It now can be used on odts, docx, or epubs.
2019-07-10Add diff-docx.sh to tools.John MacFarlane1-0/+22
2019-01-07tools/changelog-helper.sh: use %aN instead of %an to respect .mailmapAlexander Krotov1-1/+1
2019-01-07tools/changelog-helper.sh: remove [[ bashismAlexander Krotov1-1/+1
2018-10-02Added tools/changelog-helper.sh.John MacFarlane1-0/+23
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.
2017-12-29Update tool which generates lua module docsAlbert Krewinkel1-1/+3
All "helper functions" are not part of the Lua code for module pandoc, but are added in Haskell. The respective documentation section must therefore be excluded from automatic regeneration.
2017-12-28Update lua-filters.md and the tool that generates it.John MacFarlane1-1/+1
2017-12-01lua-filters.md: add documentation for pandoc.ListAlbert Krewinkel1-10/+25
2017-11-03pandoc-template-mode.el: Improve.Vaclav Haisman1-2/+6
Avoid highlighting of "strings" by deriving from `text-mode-syntax-table`. This fixes missing highlighting in default.html5 tag attributes. Define comment starting and ending sequences to allow use of M-q (auto-fill) on comments.
2017-10-22Support comments in Pandoc templates in Emacs pandoc-template-mode.Vaclav Haisman1-1/+3
2017-09-30Provide make target to update lua module docs (#3946)Albert Krewinkel1-0/+32
The pandoc module documentation in doc/lua-filters.md was automatically generated from `data/pandoc.lua`. A make target is provided which uses a lua filter to update the documentation.
2017-09-16Moved ldoc.ltp from doc to tools.John MacFarlane1-0/+38
doc should be reserved for actual documents, I think. @tarleb - will this cause a problem?
2017-09-06Add simple Emacs mode to help with Pandoc templates editing. (#3889)Václav Haisman1-0/+58
tools/pandoc-template-mode.el
2017-03-04Makefile: Separate refactor and reformat targets.John MacFarlane1-8/+0
Removed tools/refactor.sh.
2017-03-04Added 'make refactor' using hlint, stylish-haskell.John MacFarlane1-0/+8
2017-01-25Moved extract-changes.hs and github-upload.sh to tools/.John MacFarlane2-0/+27