generate revision.tex in a cross-platform way