Ignore intermediary documentation files in git