Alex Neundorf 38df155dd3 documentation: preparation for making the man section configurable
This patch adds a man section number, which is then used by the
DocumentationFormatterMan. The section number is right now always 1,
detecting this from the file name will be the next step.

Alex
2012-06-21 23:06:08 +02:00
..
2012-05-17 14:58:54 -04:00
2012-03-19 23:05:21 +01:00
2012-06-19 14:42:41 -04:00
2012-06-20 00:01:06 -04:00
2011-09-15 16:20:33 +02:00
2011-10-23 22:18:08 +02:00
2010-09-10 14:42:09 -04:00
2011-10-23 22:18:08 +02:00
2012-06-19 14:42:41 -04:00
2012-02-02 23:40:21 +00:00
2012-02-21 15:33:31 -05:00