New issue 54 by ajo...@strw.leidenuniv.nl: Description of how to use a
profiler in the manual
http://code.google.com/p/pencil-code/issues/detail?id=54
Since we often discuss whether certain parts of the code are taking too
much time, it might be a good idea to have a section of the manual explain
how to use a profiler (like gprof).