From 077bfb2257ff53fa7d871867aa6e907a8ea1d7cf Mon Sep 17 00:00:00 2001
From: Dongdong Tian <seisman.info@gmail.com>
Date: Sat, 11 Jan 2025 15:55:39 +0800
Subject: [PATCH] Check the files in the _build/latex directory

---
 .github/workflows/ci_docs.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci_docs.yml b/.github/workflows/ci_docs.yml
index 4c3968173c5..7078af5a6f6 100644
--- a/.github/workflows/ci_docs.yml
+++ b/.github/workflows/ci_docs.yml
@@ -138,7 +138,12 @@ jobs:
 
       # Build the documentation
       - name: Build the documentation
-        run: make -C doc clean html pdf
+        run: make -C doc clean html
+
+      - name: Build the PDF
+        run: |
+          make -C doc pdf
+          ls -lh doc/_build/latex/*
 
       # Temporarily upload the built PDF to the artifacts
       - name: Upload PDF to artifacts