geodynamics/aspect — pull request #111 by bangerth (2014-05-30 22:26:30+00:00)
Title: Fix manual

We will need to regenerate manual.pdf before the release with this patch.