add new dictionaries to downloads page, split tables (#110)

yomidevs · Jul 13, 2024 · 60e9eb7 · 60e9eb7
1 parent d44ad01
commit 60e9eb7
Show file tree

Hide file tree

Showing 6 changed files with 294 additions and 138 deletions.
diff --git a/.github/workflows/generate-downloads.yml b/.github/workflows/generate-downloads.yml
@@ -22,16 +22,7 @@ jobs:
       - name: Generate markdown table
         id: generate_markdown
         run: |
-          ./tools/generate-downloads-table.sh > table.md
-          cat table.md
-        
-      - name: Write to downloads.md
-        id: write_downloads_md
-        shell: bash
-        run: |
-          cat downloads-preamble.md table.md > downloads.md
-          rm table.md
-          cat downloads.md
+          ./tools/generate-downloads-table.sh
 
       - name: Create pull request
         uses: peter-evans/create-pull-request@v4

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -54,16 +54,7 @@ jobs:
       - name: Generate markdown table
         id: generate_markdown
         run: |
-          ./tools/generate-downloads-table.sh > table.md
-          cat table.md
-        
-      - name: Write to downloads.md
-        id: write_downloads_md
-        shell: bash
-        run: |
-          cat downloads-preamble.md table.md > downloads.md
-          rm table.md
-          cat downloads.md
+          ./tools/generate-downloads-table.sh
 
       - name: Create pull request
         uses: peter-evans/create-pull-request@v4

diff --git a/downloads-preamble.md b/downloads-preamble.md