geodynamics/aspect — pull request #198 by tjhei (2014-09-03 12:34:10+00:00)
Title: update make commands to build manual.pdf

Enable batchmode and fail if an error happens. This way we can test
automatically if the manual still builds.