Use engrafo instead of htlatex

Author: mkardas

docker-latex2html.sh

@@ -6,4 +6,4 @@ OUTPUT=$(realpath "$2")		#~/arxiv/htmls/1701/1701.xyz.html
 OUTPUT_DIR=$(dirname "$OUTPUT")	#~/arxiv/htmls/1701
 FILENAME=$(basename "$OUTPUT") #1701.xyz.html
 
-docker run --rm -v $PWD/latex2html.sh:/files/latex2html.sh:ro -v "$SOURCE_DIR":/files/ro-source:ro -v "$OUTPUT_DIR":/files/htmls niccokunzmann/ci-latex /files/latex2html.sh "$FILENAME"
+docker run --rm -v $PWD/latex2html.sh:/files/latex2html.sh:ro -v "$SOURCE_DIR":/files/ro-source:ro -v "$OUTPUT_DIR":/files/htmls arxivvanity/engrafo /files/latex2html.sh "$FILENAME"

latex2html.sh

@@ -2,15 +2,8 @@
 OUTNAME="$1"
 echo $OUTNAME
 RO_SOURCE_DIR="/files/ro-source"
-SOURCE_DIR="/files/source"
 OUTPUT_DIR="/files/htmls"
 
-cp -r "$RO_SOURCE_DIR" "$SOURCE_DIR"
-cd "$SOURCE_DIR"
-MAINTEX=$(find . -type f -iname "*.tex" -print0 | xargs -0 grep -l documentclass | head -1)
-echo $MAINTEX
-timeout -s KILL 60 htlatex "$MAINTEX" '' '' '' '-interaction=batchmode'
+timeout -s KILL 120 engrafo "$RO_SOURCE_DIR" /files/output
 
-FILENAME=$(basename $MAINTEX)
-FILENAME="${FILENAME%.tex}.html"
-cp "$SOURCE_DIR/$FILENAME" "$OUTPUT_DIR/$OUTNAME"
+cp /files/output/index.html "$OUTPUT_DIR/$OUTNAME"