message: lestarch: making autodoc work properly
diff: @@ -16,5 +16,5 @@ ${GITHUB_WORKSPACE}/docs/doxygen/generate_docs.bash
  git add -Af "${GITHUB_WORKSPACE}/docs"
  -git commit -m "Autodoc on $(date)"
  +git commit -m "Autodoc on $(date)" || echo "No new commits, pushing merge"
  git push "${REMOTE}"
  