Copy resources in CI

Author: t-sommer

.github/workflows/build-spec.yml

@@ -86,6 +86,8 @@ jobs:
         cp docs/images/favicon.ico build/images
         cp docs/images/*.svg build/images
         cp docs/images/schema/*.png build/images/schema
+        cp docs/theme/css/*.css build/theme/css
+        cp docs/theme/js/*.js build/theme/js
 
     - name: Create ZIP archive
       uses: actions/upload-artifact@v4.4.0

docs/index.adoc

@@ -8,7 +8,7 @@
 :idseparator: -
 :xrefstyle: short
 :docinfo: shared
-:docinfodir: docs/ma-asciidoctor-theme/docinfo
+:docinfodir: docs/theme/docinfo
 :stem: latexmath
 :source-highlighter: highlightjs
 :highlightjs-theme: github

docs/ma-asciidoctor-theme/docinfo/docinfo.html

@@ -1,5 +1,5 @@
-<link rel="stylesheet" href="ma-asciidoctor-theme/css/modelica.css">
+<link rel="stylesheet" href="theme/css/modelica.css">
 
-<script src="ma-asciidoctor-theme/js/toggle-toc.js" defer></script>
-<script src="ma-asciidoctor-theme/js/color-theme.js" defer></script>
-<script src="ma-asciidoctor-theme/js/scrollspy.js" defer></script>
+<script src="theme/js/toggle-toc.js" defer></script>
+<script src="theme/js/color-theme.js" defer></script>
+<script src="theme/js/scrollspy.js" defer></script>