Closed Dapid closed 8 years ago
Alright, so I've seen this before, but when I just tried things out on my setup, the documentation build didn't generate any junk files in the source directory. If possible, I'd like to track down why this is happening and just eliminate that problem. The problem with adding .gitignore is that make package_source
will still pull in the junk files, which is irritating. What platform and LaTeX distribution are you using?
I see. I am using texlive for Linux. I don't know if other distributions autoremove files when they are done. Alternatively, we could force their removal.
One option to do this automatically is latexmk
, at the cost of adding a dependency (and Perl :( ); or just "steal" their implementation.
https://tex.stackexchange.com/questions/29888/clean-up-temporary-files-after-pdf-is-generated
Well, that's super irritating since I'm using texlive on Linux as well. Yeah, I think the best option would be to just have CMake delete those files after the documentation gets built. There's a risk that some random platform is going to generate a bunch of other files that we don't specify, but we can deal with that when it actually happens.
Day late and a dollar short, but is this still happening? I just built the updated documentation and everything looks clean on my end.
Ok, now everything is being generated inside build/src/doc
, that is gitignored by default.
To keep a clean repository after generating the docs.