www

commit 2eeeb1ffb2b2fc646dd686d3f7c75554bdb735bb
parent 2eb9aa4bf222b83868a88500b0bf9122382096cd
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed, 29 Mar 2017 00:47:41 +0200

Avoid including nested tables of contents, this solves the excessive number of LaTeX writes, and removes the need for morewires.sty (which was difficult to install on Travis).

Diffstat:
M
.travis.yml
 | 
6
------
M
scribblings/phc-thesis.scrbl
 | 
6
+++++-
M
scribblings/util.rkt
 | 
4
++--

3 files changed, 7 insertions(+), 9 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -58,12 +58,6 @@ before_install:
 - latex newunicodechar.ins
 - mkdir -p "$latex_home/tex/latex/newunicodechar"
 - mv newunicodechar.sty "$latex_home/tex/latex/newunicodechar"
-- curl -L -o morewrites.ins     http://mirrors.ctan.org/macros/latex/contrib/morewrites/morewrites.ins
-- curl -L -o morewrites.dtx     http://mirrors.ctan.org/macros/latex/contrib/morewrites/morewrites.dtx
-- curl -L -o primargs.dtx       http://mirrors.ctan.org/macros/latex/contrib/morewrites/primargs.dtx
-- latex morewrites.ins
-- mkdir -p "$latex_home/tex/latex/morewrites"
-- mv morewrites.sty primargs.sty "$latex_home/tex/latex/morewrites"
 
 install:
  - raco pkg install -j 2 --deps search-auto
diff --git a/scribblings/phc-thesis.scrbl b/scribblings/phc-thesis.scrbl
@@ -8,7 +8,11 @@
          scribble/core]
 @(use-mathjax)
 
-@tex-header{\usepackage{morewrites}}
+@;@tex-header{\usepackage{morewrites}}
+@tex-header{
+  \let\realtableofcontents\tableofcontents
+  \def\tableofcontents{\realtableofcontents\let\tableofcontents\relax}
+}
 
 @title[#:style (struct-update style
                               (with-html5 manual-doc-style)
diff --git a/scribblings/util.rkt b/scribblings/util.rkt
@@ -52,8 +52,8 @@
                       ...))]))
      
 
-(define (tex-header tex)
-  (elem #:style (style #f (list (tex-addition (string->bytes/utf-8 tex))))))
+(define (tex-header . tex*)
+  (elem #:style (style #f (list (tex-addition (string->bytes/utf-8 (apply string-append tex*)))))))
 
 (define scribble-tex-commands-addition
   (tex-addition