Matthias Clasen a0361ec049 Fix doc generation
It helps to use the same file name on both ends...
2011-06-13 23:20:32 -04:00
..
2011-06-13 23:20:32 -04:00
2011-06-04 18:48:19 -04:00