From ac55c082a6cf00ffbc06fd3a510a46f6d4fc6d41 Mon Sep 17 00:00:00 2001
From: jonwzheng <jonzheng@mit.edu>
Date: Thu, 29 Feb 2024 11:44:56 -0500
Subject: [PATCH] DROPME: add additional logging

---
 .github/workflows/docs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 1c57ad4f90..6a86087a5f 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -58,6 +58,8 @@ jobs:
           cd documentation
           ls -l
           make html
+          ls -l
+          ls -l build/html
       - name: Report documentation errors
         if: ${{ failure() }}
         run: |