diff options
author | Kolen Cheung <christian.kolen@gmail.com> | 2016-10-09 22:39:56 -0700 |
---|---|---|
committer | Kolen Cheung <christian.kolen@gmail.com> | 2016-10-19 04:11:36 -0700 |
commit | 4b51ed382325ceeaaab97d1f5f099751ee025a8b (patch) | |
tree | 3c5c6de6b02c3b8e1129207548a43f61c93f4a8c /make_osx_package.sh | |
parent | be5bd22fc4a30f6146090b854dc0b0ea8ab72012 (diff) | |
download | pandoc-4b51ed382325ceeaaab97d1f5f099751ee025a8b.tar.gz |
Download markdown version of the license from GNU and rename to `COPYING.md`
From https://www.gnu.org/licenses/old-licenses/gpl-2.0.md
Diffstat (limited to 'make_osx_package.sh')
-rwxr-xr-x | make_osx_package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 293599d47..200702a0a 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -49,7 +49,7 @@ cp man/pandoc.1 $DEST/share/man/man1/ chown -R $ME:staff $DIST echo Copying license... -$OSX/pandoc --data data -t html5 -s COPYING -o $RESOURCES/license.html +$OSX/pandoc --data data -t html5 -s COPYING.md -o $RESOURCES/license.html # Removing executable signing because of a problem that arose in El Capitan # "source=obsolete resource envelope" |