Andreas Jaeger e7f4b8396a Remove reference to non-existing page ...

There is no modindex generated, remove the reference from index file.

Change-Id: I984d3a988d8a8c3b595af6a89fe68af5dcc80cd7

2016-10-29 13:49:17 +02:00

..

source

Remove reference to non-existing page

2016-10-29 13:49:17 +02:00