diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-12-17 23:39:22 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-12-17 23:39:22 -0800 |
commit | d477df03b42fdb1abc32beb35fe7971a324f80f1 (patch) | |
tree | a3b82e8bc50ab595375a65d0dd7223098a9ed46b /Makefile | |
parent | 211b6a1fc7ebc32c8c2e156bcf918928dda2ad5b (diff) | |
download | pandoc-d477df03b42fdb1abc32beb35fe7971a324f80f1.tar.gz |
Makefile: remove macospkg target.
Now we just download the artifacts from CircleCI, and make.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -76,11 +76,6 @@ debpkg: man/pandoc.1 utdemir/ghc-musl:v12-libgmp-ghc8101 bash \ /mnt/linux/make_artifacts.sh -macospkg: - rm -rf macos-release-candidate - aws s3 sync s3://travis-jgm-pandoc macos-release-candidate - make -C macos-release-candidate - man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after pandoc $< -f markdown -t man -s \ --lua-filter man/manfilter.lua \ @@ -117,4 +112,4 @@ update-website: clean: stack clean -.PHONY: deps quick full haddock install clean test bench changes_github macospkg dist prof download_stats reformat lint weigh doc/lua-filters.md pandoc-templates trypandoc update-website debpkg macospkg checkdocs ghcid ghci fix_spacing hlint +.PHONY: deps quick full haddock install clean test bench changes_github dist prof download_stats reformat lint weigh doc/lua-filters.md pandoc-templates trypandoc update-website debpkg checkdocs ghcid ghci fix_spacing hlint |