Fix user-doc generation on buildbot.