2011/11/28 Wolfgang Bangerth <bangerth at math.tamu.edu>: > Or, even better, with a section in the manual which at the moment has nothing > at all on source formatting. Yes, this will need a manual page.