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