index
:
pandoc
master
Conversion between markup formats
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
deb
/
Makefile
Age
Commit message (
Expand
)
Author
Files
Lines
2017-03-19
Removed unneeded deb directory.
John MacFarlane
1
-14
/
+0
2017-03-19
deb/Makefile: remove git submodule update.
John MacFarlane
1
-1
/
+1
2016-06-04
deb pkg: use --local-bin-path so we don't install to ~/.local.
John MacFarlane
1
-0
/
+1
2016-01-07
deb/Makefile - make DEBPKGVER work.
John MacFarlane
1
-1
/
+1
2016-01-07
More deb packaging tweaks.
John MacFarlane
1
-1
/
+1
2016-01-07
Minor tweak in how make_deb.sh is called.
John MacFarlane
1
-1
/
+1
2016-01-07
make_deb.sh - use --install-ghc flag instead of stack setup.
John MacFarlane
1
-1
/
+1
2016-01-07
deb pkg generation improvements.
John MacFarlane
1
-1
/
+2
2016-01-07
deb/Makefile: Renamed COMMIT -> TREE
John MacFarlane
1
-2
/
+2
2015-11-15
Build deb pkg on wheezy so we require a lower libc version.
John MacFarlane
1
-1
/
+1
2015-11-12
Debian: added configurable VAGRANTBOX env variable.
John MacFarlane
1
-1
/
+2
2015-10-24
deb/Makefile: added 'clean'.
John MacFarlane
1
-1
/
+4
2015-10-24
Added Vagrantfile for building deb in vm.
John MacFarlane
1
-0
/
+8