Find out where doc.git is.

2024-12-27 00:29:31 +00:00 · 2022-06-17 08:35:06 -04:00 · 2022-06-17 08:35:06 -04:00 · 964c4a220e
commit 964c4a220e
parent e004e92f21
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/snapshot-on-push-master.yml
+++ b/.github/workflows/snapshot-on-push-master.yml
@ -106,6 +106,8 @@ jobs:

      - name: Update the online documents.
        run: |
+          pwd
+          ls
          cd doc.git
          rm *.*
          cp ../html/*.* .