John MacFarlane
34bcaed62a
Fixed typo.
2015-10-24 22:18:13 -07:00
John MacFarlane
ac1c0a9334
Fixed typo.
2015-10-24 22:12:58 -07:00
John MacFarlane
0914f7f713
make_deb: changed path for man page.
...
stack doesn't install it as cabal did.
2015-10-24 22:06:53 -07:00
John MacFarlane
f8e58dea02
Improved fetching of pandoc-citeproc man page.
2015-10-24 22:00:44 -07:00
John MacFarlane
797ec7cb75
Moved PATH setting in make_deb, make_osx_package.
...
Otherwise 'which hsb2hs' won't find the local one.
2015-10-24 21:23:40 -07:00
John MacFarlane
d7e6a95a3a
Set paths in make_deb and make_osx_package.
...
This is needed to include a locally installed hsb2hs.
2015-10-24 21:22:24 -07:00
John MacFarlane
aafccdb0bd
Changes for deb and osx package generators.
...
- 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-10-24 21:12:43 -07:00
John MacFarlane
9ffd1babc7
Install man pages as part of cabal 'copy' phase.
2015-07-01 18:01:21 -07:00
John MacFarlane
28cb50503b
Generate man page in cabal build process and include in data/.
...
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-01 16:29:44 -07:00
John MacFarlane
958a615b75
Don't use MANDIR in make_deb and make_osx_package.
2015-07-01 12:41:25 -07:00
John MacFarlane
b1f835976d
Always rebuild man page in making deb and osx package.
2015-07-01 12:32:55 -07:00
John MacFarlane
1093adfd77
Updated make_deb.sh for new man page method.
2015-07-01 12:21:22 -07:00
John MacFarlane
e2267a8e46
make_deb.sh: Use pandoc to create man pages.
2015-06-29 22:44:24 -07:00
John MacFarlane
4e03796f14
Add Installed-Size to debian package control file.
...
This should help with warnings from Ubuntu 14.04 Software Center.
See #1900 .
2015-01-26 14:34:32 -08:00
John MacFarlane
70682a5328
More make_deb.sh tweaks - architecture detection.
2014-12-19 20:49:02 -08:00
John MacFarlane
9e95de6fcf
make_deb.sh: --force reinstall.
2014-12-19 20:20:08 -08:00
John MacFarlane
ddd774c404
make_deb.sh - have only copyright, not also COPYING.
2014-12-19 17:34:46 -08:00
John MacFarlane
77df403cff
Fixed typo in make_deb.sh.
2014-12-19 17:22:25 -08:00
John MacFarlane
7a47a8f86b
More lintian improvements to make_deb.sh.
...
* Compress man pages.
* Combine copyright files for pandoc, pandoc-citeproc.
2014-12-19 17:14:27 -08:00
John MacFarlane
f72dfc2d94
make_deb.sh fixes:
...
* 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-19 15:17:11 -08:00
John MacFarlane
e60efdd98f
More improvements to debpkg target.
...
The generated deb has been confirmed to install and run
on a fresh ubuntu/trusty64 vagrant box.
2014-12-17 16:38:11 -08:00
John MacFarlane
b1a9b1a696
Improved make_deb.sh.
2014-12-17 13:53:38 -08:00
John MacFarlane
8dfc372278
Changed bindist target to debpkg.
2014-12-17 12:04:20 -08:00
John MacFarlane
b966611067
Changed make_binary_package -> make_deb.
...
Added deb/control.in.
2014-12-17 00:16:59 -08:00
