Andreas Jaeger c7ce60845f Fix docs building ... Remove reference to non-existing page to fix docs building, enable docs building as voting job. Change-Id: I9bcea6d6ace2208a9e16f63349175e409294a759		2018-09-09 20:04:02 +02:00
..
source	Fix docs building	2018-09-09 20:04:02 +02:00