Simplify doxygen documentation building.

2022-12-12 22:38:07 -05:00
parent 45376a2bb3
commit 565df959b1
10 changed files with 336 additions and 4778 deletions
@@ -26,7 +26,7 @@ jobs:
      - name: Generate documentation
        run: |
          cmake -B build -D DOXYGEN_WARN_AS_ERROR=NO
-          cmake --build build --target doxygen_doc
+          cmake --build build --target mentos_documentation

  test:
    name: Build