update deploy-pages.yml to clone from translated_xmls

clone into the xml directory and run yarn json etc to generate the files

Author: coder114514

.github/workflows/deploy-pages.yml

@@ -30,6 +30,11 @@ jobs:
           sudo apt-get install -y texlive texlive-fonts-extra latexmk
       - name: Fetch Yarn dependencies
         run: yarn install
+      - name: Clone translated_xmls
+        run: |
+          git clone -b translated_xmls https://github.com/source-academy/sicp.git translated_xmls
+          mv translated_xmls/* xml/
+          rm -r translated_xmls
       - name: Build
         run: |
           set -euxo pipefail