Merge #401

401: Fixup: CI: Specify target for publish_docs r=mkroening a=mkroening

Fixes 6d0d0ff0

Co-authored-by: Martin Kröning <mkroening@posteo.net>

.github/workflows/publish_docs.yml

@@ -21,7 +21,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install nasm
       - name: Generate documentation
-        run: cargo doc -Z build-std=core,alloc --package rusty-hermit
+        run: cargo doc -Zbuild-std=core,alloc --target targets/x86_64-unknown-none-hermitkernel.json --package rusty-hermit
       - name: Generate index.html
         run: |
           cat > target/x86_64-unknown-none-hermitkernel/doc/index.html <<EOL