John MacFarlane 3d6bedff35 Debian control: added latex packages as 'suggested'.

2017-05-15 17:06:28 +02:00

..

control.in

Debian control: added latex packages as 'suggested'.

2017-05-15 17:06:28 +02:00

Dockerfile

Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""

2017-04-02 23:10:10 +02:00

make_deb.sh

Fixed paths: deb->linux.

2017-03-19 17:35:19 +01:00

make_tarball.sh

linux/make_tarball.sh: remove old target directory before creating.

2017-03-19 20:09:38 +01:00

Makefile

Improved linux tar.gz creation and added Dockerfile to repository.

2017-03-19 16:24:52 +01:00