From 05ddb3347c81d33e0474a8107e3172f0037793f8 Mon Sep 17 00:00:00 2001
From: ATQlove <1284901271@qq.com>
Date: Thu, 18 Jul 2024 10:57:12 +0800
Subject: [PATCH] Add GitHub Actions workflow for converting and deploying
 files

---
 .github/workflows/convert-and-deploy.yml | 36 ++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 .github/workflows/convert-and-deploy.yml

diff --git a/.github/workflows/convert-and-deploy.yml b/.github/workflows/convert-and-deploy.yml
new file mode 100644
index 0000000..65ef59f
--- /dev/null
+++ b/.github/workflows/convert-and-deploy.yml
@@ -0,0 +1,36 @@
+name: Convert and Deploy
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+
+      - name: Install Pandoc
+        run: sudo apt-get install -y pandoc
+
+      - name: Find and Convert TeXmacs to Docx
+        run: |
+          mkdir -p converted_files
+          find . -name "*.tm" -print0 | while IFS= read -r -d '' file; do
+            output="converted_files/${file%.tm}.docx"
+            mkdir -p "$(dirname "$output")"
+            pandoc "$file" -o "$output"
+          done
+
+      - name: Deploy to gh-pages branch
+        run: |
+          git config --global user.name 'github-actions[bot]'
+          git config --global user.email 'github-actions[bot]@users.noreply.github.com'
+          git checkout --orphan gh-pages
+          git reset --hard
+          cp -r converted_files/* .
+          git add .
+          git commit -m "Deploy converted files to GitHub Pages"
+          git push -f origin gh-pages