remove selective listening on git push
use shell command for doxygen instead of plugin
Merge pull request #860 from birarda/master

repair docs job in groovy for jenkins