Skip to content

Commit

Permalink
Update for MOD 3, added back description into ontology, added github …
Browse files Browse the repository at this point in the history
…workflow for documentation
  • Loading branch information
agbeltran committed Feb 29, 2024
1 parent 64a385a commit 0d4d615
Show file tree
Hide file tree
Showing 3 changed files with 294 additions and 279 deletions.
50 changes: 50 additions & 0 deletions .github/workflows/widoco.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
name: widoco

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for all branches
on:
push:
branches: [ '*' ]

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest

# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: Deploy Java
uses: actions/[email protected]
with:
java-version: 1.8
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Checkout repo
uses: actions/checkout@v2

- name: Download widoco
run: mkdir widoco && wget -O widoco/widoco.jar https://github.com/dgarijo/Widoco/releases/download/v1.4.21/widoco-1.4.14-jar-with-dependencies.jar

- name: Compile documentation
run: |
cd widoco
java -jar ./widoco.jar \
-ontFile mod.ttl \
-oops \
-webVowl \
-includeAnnotationProperties \
-outFolder doc/ \
-rewriteAll \
-includeImportedOntologies \
-uniteSections \
-excludeIntroduction
cd ..
- name: Publish on Github Pages
uses: crazy-max/[email protected]
with:
build_dir: widoco/doc
publish_dir: target/site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Loading

0 comments on commit 0d4d615

Please sign in to comment.