aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
2019-11-22Fix changes_github Makefile target.John MacFarlane1-1/+1
2019-09-06Makefile: ghci targetJohn MacFarlane1-1/+4
2019-09-05Small cleanups in Makefile.John MacFarlane1-4/+0
2019-09-05Makefile - remove references to obsolete flag.John MacFarlane1-3/+3
2019-08-25Makefile: add ghcid target.John MacFarlane1-1/+4
2019-05-21Makefile: remove --resolver= from targets.John MacFarlane1-5/+5
2019-05-17Use new code signing cert for Windows.John MacFarlane1-1/+1
2019-03-27Remove install step from make quick-cabal.John MacFarlane1-2/+0
2019-03-27Add ghc-options to cabal.project.John MacFarlane1-2/+2
2019-03-09Makefile - remove --resolver from quick target.John MacFarlane1-1/+1
2019-01-30Use lts-13 in makefileJohn MacFarlane1-1/+1
2018-11-20Docx writer: Fix bookmarks to headers with long titles.John MacFarlane1-1/+1
2018-10-13Makefile: added full-cabal target.John MacFarlane1-3/+9
2018-10-13Makefile: make trypandoc, benchmarks in quick-cabal target.John MacFarlane1-2/+2
2018-10-07Makefile - make .msi download targets more robust.John MacFarlane1-2/+2
2018-10-02Makefile - make stack quick build the defaultJohn MacFarlane1-3/+3
2018-10-02Makefile: improved quick-cabal target.John MacFarlane1-3/+4
2018-10-01Makefile: added quick-cabal target as default.John MacFarlane1-0/+5
2018-09-16Makefile: Fix executable path in trypandoc target.John MacFarlane1-1/+1
2018-09-16'make winpkg': Fixed creation of zips.John MacFarlane1-8/+10
2018-09-16Makefile: fix creation of windows zip.John MacFarlane1-1/+1
2018-09-16Fix 'make winpkg'.John MacFarlane1-2/+2
2018-08-13Makefile: ghc options to speed compilation for 'make quick'.John MacFarlane1-1/+1
2018-08-10Makefile: add some warnings to GHCOPTS.John MacFarlane1-1/+5
2018-07-19Make sure pandoc-windows-*.msi are deleted as intermediate files.John MacFarlane1-0/+2
2018-07-13Makefile: use lts12 resolver.John MacFarlane1-1/+1
2018-04-15Makefile: build 32- and 64-bit Windows packages.John MacFarlane1-6/+13
2018-01-18Fixed typo in Makefile.John MacFarlane1-1/+1
2018-01-18Makefile - add prerelease sanity check for tabs in docs.John MacFarlane1-2/+5
2017-12-30Use gfm for generated README.md.John MacFarlane1-1/+1
2017-12-29Generate README.md from template and MANUAL.txt.John MacFarlane1-0/+4
2017-12-28Makefile tweaksJohn MacFarlane1-2/+2
2017-12-28Makefile: add update-website targetJohn MacFarlane1-0/+6
2017-12-27Added 'make trypandoc' targetJohn MacFarlane1-1/+4
2017-12-27Makefile: Add 'pandoc-templates' target.John MacFarlane1-1/+9
2017-12-20makefile: use lts-10 resolver.John MacFarlane1-1/+1
2017-11-20Added 'packages' target to Makefile.John MacFarlane1-2/+5
2017-11-20Makefile - create windows binary package as zip as well as msi.John MacFarlane1-1/+11
2017-11-11Use lua filter to generate man page from MANUAL.John MacFarlane1-4/+2
2017-11-05Fix 'make changes_github'.John MacFarlane1-1/+1
2017-10-29Makefile: fix version detection.John MacFarlane1-1/+1
2017-10-29Makefile: make SOURCEFILES overridable for make lint, make format.John MacFarlane1-3/+3
2017-10-23Updated Glob upper bound.John MacFarlane1-1/+1
2017-09-30Provide make target to update lua module docs (#3946)Albert Krewinkel1-1/+9
2017-08-11Makefile - disable parallel build on 'make quick'.John MacFarlane1-1/+1
2017-08-09Reorganized Makefile.John MacFarlane1-6/+8
2017-08-09Makefile: use nightly + colored output for quick.John MacFarlane1-1/+1
2017-08-09Makefile: use nightly.John MacFarlane1-1/+1
2017-06-25Makefile: split 'make haddock' from 'make full'.John MacFarlane1-1/+3
2017-06-24Makefile: improved 'make full'.John MacFarlane1-1/+1