improve documentation release
remove build_doc target

reason: jenkins should detect the push to branch production and
trigger the build itself