fix doxygen (final real)

pmret · Jan 10, 2024 · 380eabd · 380eabd
1 parent 44e2da9
commit 380eabd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -15,7 +15,6 @@ jobs:
           sudo mv doxygen-*/bin/doxy* /usr/local/bin
       - name: Generate docs
         run: doxygen
-      - run: ls -l docs/html
       # deploy to gh pages if repo is pmret/papermario
       - name: Deploy to gh-pages
         if: github.repository != 'pmret/papermario'