Closed eldariont closed 5 years ago
You're right it's not really necessary in the repo. We might want the pdf at some point when we submit but as you said it's easy to create locally. So I'm for it.
On that same note, a useful thing would be to go over the text in content/*.md
, get the file names that are used and only copy those to content/images
. That would avoid some figures (e.g. those for panels) to be copied there for nothing.
Hi, I became slightly annoyed by the cluttered
git status
output every time I re-generated our figures. In my opinion, we don't need to store the pdf and png versions of the figures in the repo but only the required figures incontent/images
. In this PR, I removed the files fromfigures/pdf
andfigures/png
and added both paths to.gitignore
. I also remove unneeded files fromcontent/images
. Nevertheless, all the data and scripts required for generating the full set of figures remain in the repo. What is your opinion on this?