improve user-doc generation on build server
Authored by: mrieser 2013-10-09
Parent: [r26075]
Child: [r26077]
