Remove unresolved keyref to 2024 DITA-OT Day talk #212
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This workflow builds changes to develop branch and commits to website repo | |
name: Generate website | |
on: | |
push: | |
branches: [develop] | |
jobs: | |
deploy: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Check out docs | |
uses: actions/checkout@v4 | |
- name: Check out website | |
uses: actions/checkout@v4 | |
with: | |
repository: dita-ot/website | |
token: ${{ secrets.COMMITTER_TOKEN }} | |
path: website | |
- name: Clean output | |
run: | | |
# Remove target output directory before generating new output | |
for i in `find "$SITE_DIR/dev" -type f`; do | |
if grep -q 'Generated from DITA source' "$i"; then | |
echo "Skip generated file $i" | |
elif grep -q 'generated: true' "$i"; then | |
echo "Skip generated file $i" | |
else | |
rm "$i" | |
fi | |
done | |
env: | |
SITE_DIR: ${{ github.workspace }}/website | |
- name: Render website | |
uses: ./.github/actions/render | |
- name: Reset unchanged | |
working-directory: ${{ github.workspace }}/website | |
run: | | |
ruby ${{ github.workspace }}/.github/workflows/clean.rb | |
- name: Push website | |
working-directory: ${{ github.workspace }}/website | |
run: | | |
if [ $(git status -s | wc -l) != 0 ]; then | |
git config user.email "[email protected]" | |
git config user.name "DITA-OT Bot" | |
git add --all | |
# Commit generated site output | |
git commit -a -m "🚀 Deploy dita-ot/docs@${GITHUB_SHA:0:7} to 'dev' docs" | |
# push | |
git push -v origin master | |
else | |
echo "Nothing to commit" | |
fi |