From e4417aaeab7973cd9c127247e0cc34a9f2db72f6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Sj=C3=B6lund?= Date: Wed, 5 May 2021 07:56:44 +0200 Subject: [PATCH] Add a meta viewport tag to counter small text (#2932) Android Chrome has very small text, which this fixes. This is one of the problems reported in #2825. --- .CI/Jenkinsfile | 1 + .scripts/patch-viewport.sh | 5 +++++ Makefile | 1 + 3 files changed, 7 insertions(+) create mode 100755 .scripts/patch-viewport.sh diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile index 3a27007ca..6d34d8285 100644 --- a/.CI/Jenkinsfile +++ b/.CI/Jenkinsfile @@ -31,6 +31,7 @@ pipeline { sh 'latexmk -pdf MLS.tex' 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 '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-viewport.sh b/.scripts/patch-viewport.sh new file mode 100755 index 000000000..1f25a7afa --- /dev/null +++ b/.scripts/patch-viewport.sh @@ -0,0 +1,5 @@ +#!/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 495801f1c..9244fd77b 100644 --- a/Makefile +++ b/Makefile @@ -25,3 +25,4 @@ 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