aboutsummaryrefslogtreecommitdiff
path: root/linux
AgeCommit message (Expand)AuthorFilesLines
2017-04-02Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""John MacFarlane1-1/+0
2017-03-26Revert "Use file-embed instead of hsb2hs to embed data files."John MacFarlane1-0/+1
2017-03-26Use file-embed instead of hsb2hs to embed data files.John MacFarlane1-1/+0
2017-03-19linux/make_tarball.sh: remove old target directory before creating.John MacFarlane1-0/+1
2017-03-19Added control.in to repository.John MacFarlane1-0/+20
2017-03-19Fixed paths: deb->linux.John MacFarlane2-5/+3
2017-03-19linux tarball: man pages in share/man rather than man/.John MacFarlane1-5/+5
2017-03-19Improved linux tar.gz creation and added Dockerfile to repository.John MacFarlane4-0/+111