5 ms·
Probably so that someone can download it without compiling it? GitHub Releases or an equivalent would probably be better, though.
by snazz 7y ago
Probably so that someone can download it without compiling it? GitHub Releases or an equivalent would probably be better, though.
- xwin 7y agoThat's right. I would like others as well as myself to be easily able to download the PDF files without having to compile it. I tried out GitHub releases and it works okay but not great. I cannot track all the compiled PDFs I have at a single place or move them easily from one system to another like I could with GitHub repos. I am also trying to avoid getting locked into a specific service like GitHub releases.
- ktpsns 7y agoI have very good experiences with Gitlab CI: It just recompiles the PDF(s) from the repository within a minimal docker container (containing a full Tex Live repository) and pushes them online on a website (sFTP or similar). Also Gitlab allows to host the build assets.