#57: typos

zerocracy · Jul 23, 2024 · a1e796f · a1e796f
1 parent 32c3cc0
commit a1e796f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -52,8 +52,7 @@ 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
+COPY target /home/target
 
 ENTRYPOINT ["/home/entry.sh", "/home"]
diff --git a/entry.sh b/entry.sh
@@ -43,8 +43,6 @@ if [ -z "${GITHUB_WORKSPACE}" ]; then
     exit 1
 fi
 cd "${GITHUB_WORKSPACE}"
-pwd
-ls -al
 
 declare -a gopts=()
 if [ -n "${INPUT_VERBOSE}" ]; then
@@ -84,10 +82,10 @@ done <<< "${INPUT_OPTIONS}"
 "${JUDGES}" "${gopts[@]}" print --format xml "${INPUT_FACTBASE}" "${INPUT_OUTPUT}/${name}.rich.xml"
 
 # Build a summary HTML.
-css=$(cat "${SELF}/css/main.css")
+css=$(cat "${SELF}/target/css/main.css")
 js=$(uglifyjs "${SELF}/js/*.js")
 html=${INPUT_OUTPUT}/${name}.html
-java -jar "${SELF}/saxon.jar" \
+java -jar "${SELF}/target/saxon.jar" \
     "-s:${INPUT_OUTPUT}/${name}.rich.xml" \
     "-xsl:${SELF}/target/xsl/index.xsl" \
     "-o:${html}" \