aboutsummaryrefslogtreecommitdiff
path: root/make_deb.sh
AgeCommit message (Collapse)AuthorFilesLines
2015-10-24Fixed typo.John MacFarlane1-1/+1
2015-10-24Fixed typo.John MacFarlane1-1/+1
2015-10-24make_deb: changed path for man page.John MacFarlane1-1/+2
stack doesn't install it as cabal did.
2015-10-24Improved fetching of pandoc-citeproc man page.John MacFarlane1-3/+9
2015-10-24Moved PATH setting in make_deb, make_osx_package.John MacFarlane1-2/+3
Otherwise 'which hsb2hs' won't find the local one.
2015-10-24Set paths in make_deb and make_osx_package.John MacFarlane1-0/+3
This is needed to include a locally installed hsb2hs.
2015-10-24Changes for deb and osx package generators.John MacFarlane1-19/+11
- Use stack for make_deb.sh. - Use osx/stack.yaml or deb/stack.yaml. - deb/stack.yaml doesn't want the same ghc-options.
2015-07-01Install man pages as part of cabal 'copy' phase.John MacFarlane1-1/+1
2015-07-01Generate man page in cabal build process and include in data/.John MacFarlane1-2/+1
The pandoc.1 man page is generated automatically after the cabal build process. It goes in `data/pandoc.1`. It can be obtained by the user who installs pandoc via cabal thus: pandoc --print-default-data-file pandoc.1 > pandoc.1
2015-07-01Don't use MANDIR in make_deb and make_osx_package.John MacFarlane1-3/+2
2015-07-01Always rebuild man page in making deb and osx package.John MacFarlane1-1/+1
2015-07-01Updated make_deb.sh for new man page method.John MacFarlane1-5/+3
2015-06-29make_deb.sh: Use pandoc to create man pages.John MacFarlane1-2/+2
2015-01-26Add Installed-Size to debian package control file.John MacFarlane1-1/+4
This should help with warnings from Ubuntu 14.04 Software Center. See #1900.
2014-12-19More make_deb.sh tweaks - architecture detection.John MacFarlane1-7/+5
2014-12-19make_deb.sh: --force reinstall.John MacFarlane1-1/+1
2014-12-19make_deb.sh - have only copyright, not also COPYING.John MacFarlane1-4/+5
2014-12-19Fixed typo in make_deb.sh.John MacFarlane1-1/+1
2014-12-19More lintian improvements to make_deb.sh.John MacFarlane1-3/+5
* Compress man pages. * Combine copyright files for pandoc, pandoc-citeproc.
2014-12-19make_deb.sh fixes:John MacFarlane1-14/+18
* Use fakeroot to get permissions right. * Use mkdir and cp instead of install. * Set permissions of directories to 755. * Install in /usr rather than /usr/local.
2014-12-17More improvements to debpkg target.John MacFarlane1-4/+12
The generated deb has been confirmed to install and run on a fresh ubuntu/trusty64 vagrant box.
2014-12-17Improved make_deb.sh.John MacFarlane1-4/+10
2014-12-17Changed bindist target to debpkg.John MacFarlane1-1/+1
2014-12-17Changed make_binary_package -> make_deb.John MacFarlane1-0/+45
Added deb/control.in.