fix nailgun-docs jenkins job