Fix checks on whether or not to generate manual/javadoc
Fix checks on whether or not to generate manual/javadoc

The overview pages got generated even if no manual/javadoc generation
has been requested.

Change-Id: I08e1c32b15d6407e1e0f48038d3a95597a1e0cb8

quelltextlich/gerrit-builder