From 380eabdba35f2d7c77dc6828822cf1789b79de22 Mon Sep 17 00:00:00 2001
From: Alex Bates <alex@nanaian.town>
Date: Wed, 10 Jan 2024 00:12:25 +0000
Subject: [PATCH] fix doxygen (final real)

---
 .github/workflows/docs.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 20e5f30d86..583974823a 100644
--- 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'