6 ms·
Why commit the output files? I generally put "*.pdf" in .gitignore.
by mkl 7y ago
Why commit the output files? I generally put "*.pdf" in .gitignore.
- snazz 7y agoProbably 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.