diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile index 6d34d8285..f3070e184 100644 --- a/.CI/Jenkinsfile +++ b/.CI/Jenkinsfile @@ -32,6 +32,7 @@ pipeline { sh 'latexml MLS.tex --includestyles --path=media --dest MLS.xml' sh 'latexmlpost MLS.xml -format html -pmml --splitat=chapter --splitnaming=labelrelative --javascript=LaTeXML-maybeMathjax.js --navigationtoc=context --css=css/MLS.css --css=css/MLS-navbar-left.css --dest MLS.html' sh '.scripts/patch-viewport.sh' + sh '.scripts/patch-body-ios-hover.sh' sh 'ln -s preface.html Chx1.html' sh 'ln -s lexical-structure.html Ch2.html' sh 'ln -s operators-and-expressions.html Ch3.html' diff --git a/.scripts/patch-body-ios-hover.sh b/.scripts/patch-body-ios-hover.sh new file mode 100755 index 000000000..88ac8464c --- /dev/null +++ b/.scripts/patch-body-ios-hover.sh @@ -0,0 +1,4 @@ +#!/bin/sh -xe + +sed -i.bak 's///' *.html +rm *.html.bak # MacOS sed does not support -i without extension diff --git a/Makefile b/Makefile index 9244fd77b..2cf40c158 100644 --- a/Makefile +++ b/Makefile @@ -25,4 +25,5 @@ MLS.pdf: *.tex chapters/*.tex MLS.html: MLS.tex chapters/*.tex $(LATEXMLPREFIX)latexml MLS.tex --includestyles --path=media --dest MLS.xml $(LATEXMLPREFIX)latexmlpost MLS.xml -format html -pmml --splitat=chapter --splitnaming=labelrelative --javascript=LaTeXML-maybeMathjax.js --navigationtoc=context --css=css/MLS.css --css=css/MLS-navbar-left.css --dest $@ - ./scripts/patch-viewport.sh + .scripts/patch-viewport.sh + .scripts/patch-body-ios-hover.sh