Eric Schrijver 286e592f91 Correct the path to the docs file used by the doc generator		2013-08-23 00:56:58 +02:00
..
doc	Correct the path to the docs file used by the doc generator	2013-08-23 00:56:58 +02:00