fix doc building. Thanks to Jonas Smedegaard.

5 jobs for master in 4 minutes and 51 seconds (queued for 26 seconds)