diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a64a5b1..a55801c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -58,7 +58,7 @@ jobs:
with:
images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
- name: Build and push
- uses: docker/build-push-action@v5.3.0
+ uses: docker/build-push-action@v6.1.0
with:
push: ${{ github.event_name != 'pull_request' && github.actor != 'dependabot[bot]' }}
tags: ${{ steps.meta.outputs.tags }}
diff --git a/README.md b/README.md
index c47c01c..573fe6c 100644
--- a/README.md
+++ b/README.md
@@ -38,7 +38,7 @@ Just add the dependency and repository to your `pom.xml` file as follows. See th
Preferred prefix used to refer to the ontology. This is important to let potential reusers know how you expect your ontology to be abbreviated. You want everyone to refer to it in the same way. It's also recommended to register your prefix at the http://prefix.cc service, so other KG engineers are able to find the URI of your ontology.
- You can customize the style in which WIDOCO displays the documentation by editing the CSS included in the main folder. However, one of WIDOCO's users contributed a new stylem used in the BNE ontology. If you like it, just select the "Custom" style option. + You can customize the style in which WIDOCO displays the documentation by editing the CSS included in the main folder. However, one of WIDOCO's users contributed a new style used in the BNE ontology. If you like it, just select the "Custom" style option.
diff --git a/src/main/java/widoco/gui/GuiController.java b/src/main/java/widoco/gui/GuiController.java index 3070dd3..8af78d8 100644 --- a/src/main/java/widoco/gui/GuiController.java +++ b/src/main/java/widoco/gui/GuiController.java @@ -107,8 +107,8 @@ public GuiController(String[] args) { boolean isFromFile = false, oops = false, rewriteAll = false, getOntoMetadata = true, useW3Cstyle = true, includeImportedOntologies = false, htAccess = false, webVowl = false, errors = false, licensius = false, generateOnlyCrossRef = false, includeNamedIndividuals = true, includeAnnotationProperties = false, - displaySerializations = true, displayDirectImportsOnly = false, excludeIntroduction = false, uniteSections = false, - placeHolderText = true, localImports=false; + displaySerializations = true, displayDirectImportsOnly = false, excludeIntroduction = false, excludeProvenance = false, + uniteSections = false, placeHolderText = true, localImports=false; String confPath = ""; String code = null;// for tracking analytics. String[] languages = null; @@ -203,6 +203,9 @@ public GuiController(String[] args) { case "-noPlaceHolderText": placeHolderText = false; break; + case "-excludeProvenance": + excludeProvenance = true; + break; case "--help": System.out.println(Constants.HELP_TEXT); return; @@ -270,6 +273,9 @@ public GuiController(String[] args) { this.config.setIncludeAbstract(false); } } + if (excludeProvenance) { + this.config.setPublishProvenance(false); + } if (code != null) { this.config.setGoogleAnalyticsCode(code); }