Make coverage after docs and script to push docs