Open roipoussiere opened 6 years ago
Note that the bibliography is not available in the mediawiki file, it's only in the PDF.
Note that the bibliography is not available in the mediawiki file, it's only in the PDF.
Indeed! Few resources (such as the cover, LaTeX sources and bib) must be shared to do this. Since I am now assigned to this issue, may I ask how to get them? ;)
The PDF is usually committed by @santisiri ; @santisiri can you commit the sources for PDF generation as well ?
i think this is a great idea.
the PDF was done manually for aesthetic reasons, but a mediawiki to LaTeX importer could be easily implemented. there's a bunch of projects for that on github, some of them run on python. I haven't found time to implement them, but if someone wants to make that happen, it would be great!
also, happy to accept any pull request regarding CI, i think it's a great idea.
@santisiri How strongly do you feel about mediawiki ? We find its syntax cumbersome and not literature-friendly (nor human-friendly for that matter). A markdown to LaTeX should be easy enough to implement too. It might require some tweaking to handle the "paper" format (cover, bib, quotes, alignments), but nothing too complicated. Might even make a useful lib for others.
@roipoussiere Would love to see a PoC of this as well !
@domi41 what pushed me to mediawiki was that
that said, i'm all in favor for including a latex version in this repo (and even a markup .md one).
Using a Continuous Integration server could add interesting features for this paper:
We can for example use Travis, which is free for open-source projects, and build the paper each time someone push/merge on master.
I have a little experience in continuous integration and document generation (including LaTeX), and if you are agree with this issue, I can show you a proof of concept this week-end.