summaryrefslogtreecommitdiff
path: root/make_deb.sh
Commit message (Collapse)AuthorAge
* Fixed typo.John MacFarlane2015-10-24
|
* Fixed typo.John MacFarlane2015-10-24
|
* make_deb: changed path for man page.John MacFarlane2015-10-24
| | | | stack doesn't install it as cabal did.
* Improved fetching of pandoc-citeproc man page.John MacFarlane2015-10-24
|
* Moved PATH setting in make_deb, make_osx_package.John MacFarlane2015-10-24
| | | | Otherwise 'which hsb2hs' won't find the local one.
* Set paths in make_deb and make_osx_package.John MacFarlane2015-10-24
| | | | This is needed to include a locally installed hsb2hs.
* Changes for deb and osx package generators.John MacFarlane2015-10-24
| | | | | | - Use stack for make_deb.sh. - Use osx/stack.yaml or deb/stack.yaml. - deb/stack.yaml doesn't want the same ghc-options.
* Install man pages as part of cabal 'copy' phase.John MacFarlane2015-07-01
|
* Generate man page in cabal build process and include in data/.John MacFarlane2015-07-01
| | | | | | | | 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
* Don't use MANDIR in make_deb and make_osx_package.John MacFarlane2015-07-01
|
* Always rebuild man page in making deb and osx package.John MacFarlane2015-07-01
|
* Updated make_deb.sh for new man page method.John MacFarlane2015-07-01
|
* make_deb.sh: Use pandoc to create man pages.John MacFarlane2015-06-29
|
* Add Installed-Size to debian package control file.John MacFarlane2015-01-26
| | | | | This should help with warnings from Ubuntu 14.04 Software Center. See #1900.
* More make_deb.sh tweaks - architecture detection.John MacFarlane2014-12-19
|
* make_deb.sh: --force reinstall.John MacFarlane2014-12-19
|
* make_deb.sh - have only copyright, not also COPYING.John MacFarlane2014-12-19
|
* Fixed typo in make_deb.sh.John MacFarlane2014-12-19
|
* More lintian improvements to make_deb.sh.John MacFarlane2014-12-19
| | | | | * Compress man pages. * Combine copyright files for pandoc, pandoc-citeproc.
* make_deb.sh fixes:John MacFarlane2014-12-19
| | | | | | | * 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.
* More improvements to debpkg target.John MacFarlane2014-12-17
| | | | | The generated deb has been confirmed to install and run on a fresh ubuntu/trusty64 vagrant box.
* Improved make_deb.sh.John MacFarlane2014-12-17
|
* Changed bindist target to debpkg.John MacFarlane2014-12-17
|
* Changed make_binary_package -> make_deb.John MacFarlane2014-12-17
Added deb/control.in.