-
Notifications
You must be signed in to change notification settings - Fork 0
32 lines (30 loc) · 1 KB
/
html.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
name: HTML
on:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
push:
branches:
- main
jobs:
build:
name: Deploy HTML
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
ref: main
path: main
- name: Build HTML for main
run: |
wget -O widoco.jar https://github.com/dgarijo/Widoco/releases/download/v1.4.25/widoco-1.4.25-jar-with-dependencies_JDK-17.jar
mkdir public
java -jar widoco.jar -ontFile main/WebProtege/digitrubber-full.ttl -outFolder public -htaccess -uniteSections -includeAnnotationProperties -lang en-de -getOntologyMetadata -noPlaceHolderText -rewriteAll -webVowl
cp public/index-en.html public/index.html
- name: Deploy HTML to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v3
with:
target_branch: gh-pages-ontology
build_dir: public
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}