#57: install

zerocracy · Jul 22, 2024 · 32c3cc0 · 32c3cc0
1 parent ae2a381
commit 32c3cc0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -52,5 +52,8 @@ COPY sass /home/sass
 COPY xsl /home/xsl
 COPY js /home/js
 RUN make --directory=/home --no-silent install
+COPY target/saxon.jar /home
+RUN make --directory=/home --no-silent target/css/main.css
+COPY target/css /home/css
 
 ENTRYPOINT ["/home/entry.sh", "/home"]
diff --git a/entry.sh b/entry.sh
@@ -84,10 +84,10 @@ done <<< "${INPUT_OPTIONS}"
 "${JUDGES}" "${gopts[@]}" print --format xml "${INPUT_FACTBASE}" "${INPUT_OUTPUT}/${name}.rich.xml"
 
 # Build a summary HTML.
-css=$(cat "${SELF}/target/css/main.css")
+css=$(cat "${SELF}/css/main.css")
 js=$(uglifyjs "${SELF}/js/*.js")
 html=${INPUT_OUTPUT}/${name}.html
-java -jar "${SELF}/target/saxon.jar" \
+java -jar "${SELF}/saxon.jar" \
     "-s:${INPUT_OUTPUT}/${name}.rich.xml" \
     "-xsl:${SELF}/target/xsl/index.xsl" \
     "-o:${html}" \