try to get "$HOME" right

Author: pahjbo

.github/workflows/site.yml

@@ -34,7 +34,7 @@ jobs:
           curl -L -o plantuml.jar https://github.com/plantuml/plantuml/releases/download/v1.2026.1/plantuml-1.2026.1.jar
           echo "java -Djava.awt.headless=true -jar $HOME/bin/plantml.jar $@" >>plantuml
           chmod +x plantuml
-        working-directory: ./bin
+        working-directory: "$HOME/bin"
 
 
       # Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies.

.gitignore

@@ -6,3 +6,5 @@
 /allnav.yml
 /doc/site/generated/
 /doc/std/vodml-generated/
+/site/
+