Joerg Wunsch 2c19fe48dc Forgot to cvs add this patch in my previous commit; it reverts the ... name of the docs to what we used to have before.		2004-04-29 09:53:54 +00:00
..
patch-doxygen13
patch-nodocversion	Forgot to cvs add this patch in my previous commit; it reverts the	2004-04-29 09:53:54 +00:00