Sun, 14 Feb 2010 21:32:19 +0100Distinguish section names from the doc groups
Peter Kovacs <kpeter@inf.elte.hu> [Sun, 14 Feb 2010 21:32:19 +0100] rev 26
Distinguish section names from the doc groups