Updated build for documentation (again).
Updated build for documentation (again).

kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker