dealii/dealii — pull request #17 by bangerth (2014-07-23 15:52:18+00:00)
Title: Fix p4est configuration

This is a respin of Matthias' work, adding just a couple of sentences of documentation. Apologies for being overly anal and not just doing the work myself.