Replaced Travis with GitHub Actions for building and publishing documentation

Author: bastianeicher

.github/workflows/doc.yml

@@ -0,0 +1,27 @@
+# Generate and publish source documentation
+name: Documentation
+on: push
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Set up 0install
+        run: sudo apt-get update && sudo apt-get install -y --no-install-recommends 0install-core
+      - name: Clone repo
+        uses: actions/checkout@v2
+      - name: Build documentation
+        run: doc/build.sh
+      - name: Upload documentation
+        uses: actions/upload-artifact@v1
+        with:
+          name: Documentation
+          path: target/doc
+      - name: Publish documentation
+        uses: peaceiris/actions-gh-pages@v3
+        if: startsWith(github.event.ref, 'refs/tags')
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          force_orphan: true
+          publish_dir: target/doc
+          cname: java.typedrest.net

.travis.yml

@@ -15,6 +15,4 @@ mkdir ..\target\doc | Out-Null
 0install run --batch https://apps.0install.net/devel/doxygen.xml
 if ($LASTEXITCODE -ne 0) {throw "Exit Code: $LASTEXITCODE"}
 
-cp .nojekyll,CNAME ..\target\doc\
-
 popd

doc/.nojekyll

@@ -6,5 +6,3 @@ rm -rf ../target/doc
 mkdir -p ../target/doc
 
 0install run https://apps.0install.net/devel/doxygen.xml
-
-cp .nojekyll CNAME ../target/doc/