Peter Williams c317d25fd5 dist: work on deployment pipeline more ... - attempt to build the AppImage and publish it as an artifact - attempt to update the book HTML upon release of `tectonic` - attempt to fix binary artifact uploading upon release		2020-09-05 23:37:37 -04:00
..
.gitignore	dist/appimage/build.sh: use a script instead of a Makefile	2018-12-30 17:19:01 -05:00
build.sh	dist: work on deployment pipeline more	2020-09-05 23:37:37 -04:00
tectonic.desktop	dist/appimage/tectonic.desktop: add Categories and Terminal	2018-12-30 14:51:13 -05:00
tectonic.svg	Add AppImage to distribution	2018-12-30 17:06:05 +09:00