Make the naming for GitHub Actions more consistent

diff --git a/.github/workflows/build-deploy-assets.yaml b/.github/workflows/build-deploy-assets.yaml
new file mode 100644 (file)
index 0000000..7ab5558
--- /dev/null
+++ b/.github/workflows/build-deploy-assets.yaml
@@ -0,0 +1,38 @@
+name: build-deploy-assets
+
+on:
+  push:
+    branches: [ master ]
+
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    container: twtug/lkmpg
+
+    steps:
+      - uses: actions/checkout@v3.0.2
+      - name: Build
+        run: |
+          make all
+          make html
+          tar zcvf lkmpg-html.tar.gz ./html
+      - name: Delete old release asset
+        uses: mknejp/delete-release-assets@v1
+        with:
+          token: ${{ github.token }}
+          fail-if-no-assets: false
+          fail-if-no-release: false
+          tag: latest
+          assets: |
+            lkmpg.pdf
+            lkmpg-html.tar.gz
+      - name: Release
+        uses: softprops/action-gh-release@v0.1.14
+        with:
+          files: |
+            lkmpg.pdf
+            lkmpg-html.tar.gz
+          tag_name: "latest"
+          prerelease: true

diff --git a/.github/workflows/deploy-github-page.yaml b/.github/workflows/deploy-github-page.yaml
new file mode 100644 (file)
index 0000000..d6e206f
--- /dev/null
+++ b/.github/workflows/deploy-github-page.yaml
@@ -0,0 +1,24 @@
+name: deploy-github-page
+
+on:
+  push:
+    branches: [ master ]
+
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    container: twtug/lkmpg
+
+    steps:
+      - uses: actions/checkout@v3.0.2
+      - name: Build
+        run: |
+          make html
+      - name: Deploy to gh-pages branch
+        uses: peaceiris/actions-gh-pages@v3.8.0
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./html
+          publish_branch: gh-pages

diff --git a/.github/workflows/deploy_github_page.yaml b/.github/workflows/deploy_github_page.yaml
deleted file mode 100644 (file)
index ca7d705..0000000
--- a/.github/workflows/deploy_github_page.yaml
+++ /dev/null
@@ -1,24 +0,0 @@
-name: build-deploy-github-page
-
-on:
-  push:
-    branches: [ master ]
-
-  workflow_dispatch:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    container: twtug/lkmpg
-
-    steps:
-      - uses: actions/checkout@v3.0.2
-      - name: Build
-        run: |
-          make html
-      - name: Deploy to gh-pages branch
-        uses: peaceiris/actions-gh-pages@v3.8.0
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./html
-          publish_branch: gh-pages

diff --git a/.github/workflows/generate_doc.yaml b/.github/workflows/generate_doc.yaml
deleted file mode 100644 (file)
index 7ab5558..0000000
--- a/.github/workflows/generate_doc.yaml
+++ /dev/null
@@ -1,38 +0,0 @@
-name: build-deploy-assets
-
-on:
-  push:
-    branches: [ master ]
-
-  workflow_dispatch:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    container: twtug/lkmpg
-
-    steps:
-      - uses: actions/checkout@v3.0.2
-      - name: Build
-        run: |
-          make all
-          make html
-          tar zcvf lkmpg-html.tar.gz ./html
-      - name: Delete old release asset
-        uses: mknejp/delete-release-assets@v1
-        with:
-          token: ${{ github.token }}
-          fail-if-no-assets: false
-          fail-if-no-release: false
-          tag: latest
-          assets: |
-            lkmpg.pdf
-            lkmpg-html.tar.gz
-      - name: Release
-        uses: softprops/action-gh-release@v0.1.14
-        with:
-          files: |
-            lkmpg.pdf
-            lkmpg-html.tar.gz
-          tag_name: "latest"
-          prerelease: true