arxivify.sh

Shell ★ 46 updated 6y ago

Generates a zip archive that is uploadable to arXiv.

No plain-English explanation yet — one is being written right now. Check back in a minute.