Skip to content

Commit 83b6236

Browse files
authored
Merge pull request #3124 from Multiverse/ben/javadoc-latest
Add latest dir for javadoc
2 parents a2a740f + 41cab5b commit 83b6236

File tree

2 files changed

+29
-5
lines changed

2 files changed

+29
-5
lines changed

.github/workflows/dispatch.javadoc.yml

Lines changed: 18 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@ on:
66
target_tag:
77
description: 'Version to generate javadoc'
88
required: true
9+
replace_latest:
10+
description: 'Replace the latest folder'
11+
type: boolean
912

1013
jobs:
1114
javadocs:
@@ -28,12 +31,24 @@ jobs:
2831
env:
2932
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3033
GITHUB_VERSION: ${{ inputs.target_tag }}
31-
34+
35+
- name: Copy javadoc to deploy folder
36+
run: |
37+
mkdir -p build/docs/javadoc-deploy/${{ inputs.target_tag }}
38+
cp -r build/docs/javadoc/* build/docs/javadoc-deploy/${{ inputs.target_tag }}
39+
40+
- name: Copy javadoc to latest folder
41+
if: inputs.replace_latest
42+
run: |
43+
mkdir -p build/docs/javadoc-deploy/latest
44+
cp -r build/docs/javadoc/* build/docs/javadoc-deploy/latest
45+
3246
- name: Deploy javadoc to gh pages
3347
uses: JamesIves/github-pages-deploy-action@v4
3448
with:
3549
token: ${{ secrets.GITHUB_TOKEN }}
36-
folder: build/docs/javadoc
50+
folder: build/docs/javadoc-deploy
3751
branch: javadoc
38-
target-folder: javadoc/${{ inputs.target_tag }}
52+
target-folder: javadoc
53+
clean: false
3954
commit-message: Deploy javadoc for ${{ inputs.target_tag }}

.github/workflows/generic.github_release.yml

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -100,12 +100,21 @@ jobs:
100100
GITHUB_VERSION: ${{ steps.release.outputs.publish_version }}
101101
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
102102

103+
- name: Copy javadoc to version and latest folder
104+
if: steps.javadoc.outcome == 'success'
105+
run: |
106+
mkdir -p build/docs/javadoc-deploy/latest
107+
mkdir -p build/docs/javadoc-deploy/${{ steps.release.outputs.tag_name }}
108+
cp -r build/docs/javadoc/* build/docs/javadoc-deploy/latest
109+
cp -r build/docs/javadoc/* build/docs/javadoc-deploy${{ steps.release.outputs.tag_name }}
110+
103111
- name: Deploy javadoc to gh pages
104112
if: steps.javadoc.outcome == 'success'
105113
uses: JamesIves/github-pages-deploy-action@v4
106114
with:
107115
token: ${{ secrets.GITHUB_TOKEN }}
108-
folder: build/docs/javadoc
116+
folder: build/docs/javadoc-deploy
109117
branch: javadoc
110-
target-folder: javadoc/${{ steps.release.outputs.tag_name }}
118+
target-folder: javadoc
119+
clean: false
111120
commit-message: Deploy javadoc for ${{ steps.release.outputs.tag_name }}

0 commit comments

Comments
 (0)