HoTT/book — pull request #434 by mikeshulman (2013-07-26 23:03:17+00:00)
Title: Makefile scripts for arXiv tarball

With these changes, typing `make hott-arxiv.tar.gz` will produce a tarball suitable for uploading to the arXiv. Note that the file `hott-arxiv.tex` is autogenerated, unlike the other `hott-*` files.