From 7cfebaa68c69a5b7d43a7631412cec4e3eacf42d Mon Sep 17 00:00:00 2001
From: Wez Furlong <wez@wezfurlong.org>
Date: Fri, 25 Apr 2025 06:34:57 -0700
Subject: [PATCH] ci: docs: see if this brings back the modification dates

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6420666c..cb62fb89 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -49,6 +49,7 @@ jobs:
         crate: gelatyx
     - name: Run build
       run: |
+        echo "target" > .dockerignore
         CI=false ./docs/build.sh
     - name: Publish
       if: ${{ github.event_name != 'pull_request' }}