sbt/website — pull request #7 by jsuereth (2014-06-03 16:21:09+00:00)
Title: Generate + Link PDF documents in the documentation.

Review by @eed3si9n (actually just posting to TravisCI for now to see what we have to fix in that setup, most likely installing texlive).