Sphinx Website

.github/workflows/sphinx.yml

@@ -0,0 +1,29 @@
+name: Sphinx Pages
+on: [push, pull_request, workflow_dispatch]
+permissions: write-all
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/setup-python@v2
+      - name: Install dependencies
+        run: pip install sphinx sphinx_rtd_theme myst_parser sphinx-prompt sphinx_substitution_extensions sphinx_issues sphinx_tabs pygments
+      - name: Checkout project sources
+        uses: actions/checkout@v2
+        with:
+          ref: master
+          fetch-depth: 0
+      - name: Setup Gradle
+        uses: gradle/gradle-build-action@v2
+      - name: Run build with Gradle Wrapper
+        run: ./gradlew sphinx -x upload
+      - name: Deploy
+        uses: actions/configure-pages@v2
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          # Upload entire repository
+          path: 'build/sphinx'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1

build.gradle

@@ -369,7 +369,7 @@ task upload(type: Exec) {
     def versionStable = getVersion(false)
 
     if( findProperty("${project.name}.host")==null ) {
-        throw new InvalidUserDataException(
+        println(
 """
 Property \"${project.name}.host\' not found.
 Please define \"${project.name}.host\" in the Gradle configuration (e. g. \$HOME/.gradle/gradle.properties.