Adapted "doc" target to simply call doxygen for documentation generation.
Used to perform complex logic involving changing branches, pulling, committing, pushing … which broke sometimes.