www

commit b2c556b3adb792076f0dc251627eca7aab924595
parent fedee57d915ffe14a9d98cb2ba779ec4857e5c30
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed, 29 Mar 2017 15:22:02 +0200

Attempt to avoid OOM on Travis.

Diffstat:
M
.travis.yml
 | 
4
++--
M
scribblings/phc-thesis.scrbl
 | 
46
++++++++++++++++++++++++++++++++++++++++++++++

2 files changed, 48 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -60,7 +60,7 @@ before_install:
 - mv newunicodechar.sty "$latex_home/tex/latex/newunicodechar"
 
 install:
- - raco pkg install -j 2 --deps search-auto
+ - raco pkg install -j 1 --deps search-auto
 
 before_script:
 
@@ -69,7 +69,7 @@ before_script:
 # packages without it getting stuck on a confirmation prompt.
 script:
  - raco test -x -p phc-thesis
- - raco setup --check-pkg-deps --pkgs phc-thesis
+ - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs phc-thesis
  - make
  - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi
 
diff --git a/scribblings/phc-thesis.scrbl b/scribblings/phc-thesis.scrbl
@@ -57,4 +57,50 @@
  @include-asection[(submod (lib "multi-id/multi-id.hl.rkt") doc)]
  @include-asection[
  (lib "type-expander/scribblings/type-expander-implementation.scrbl")]
+}
+
+@;{
+ Notes concerning tikz → SVG conversion:
+
+ To get smooth (non-selectable) text with the LaTeX fonts:
+
+ \documentclass[tikz]{standalone}
+ %\usetikzlibrary{…}
+ \begin{document}
+ \begin{tikzpicture}
+ \draw (0,0) -- (4,4);
+ \node at (2,2) {Some Text};
+ \end{tikzpicture}
+ \end{document}
+
+ then:
+ pdflatex file.tex
+ pdf2svg file.pdf file.svg
+
+ See also:
+ http://tex.stackexchange.com/questions/51757/
+   how-can-i-use-tikz-to-make-standalone-svg-graphics
+
+
+ To get real, selectable text (must not contain formatting, otherwise some
+ <span> get inserted inside the SVG <text>, and that is incorrect), but without
+ the LaTeX fonts. If we insert
+ \tikzset{every node/.style={/pgf/tex4ht node/escape=true}}, then it is possible
+ to have slightly fancier things in the text (e.g. colours), but it still is
+ half-broken (a simple $alpha$ prints out a spurious display=”inline”).
+
+
+ Insert right after the documentclass:
+ \def\pgfsysdriver{pgfsys-tex4ht.def}
+ 
+ htlatex error:
+ http://tex.stackexchange.com/a/232739
+
+ If the text is set to an opacity of 0, then it seems to still be selectable.
+ It should therefore be possible to overlay the two SVGs, in order to get
+ selectable text, with the specific LaTeX fonts.
+
+ We might want to create a special scribble command to typeset "normal" text
+ (rendered using scribble's HTML font), and another to typeset math (possibly
+ with MathJax).
 }
 \ No newline at end of file