www

commit 8368a3af440dd67c1fc8e890b599f77052c92e9e
parent 05c20e40ad5041a5c1e2276fd2b3242bebe5a27b
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed, 19 Jul 2017 23:36:12 +0200

Quick fix.

Diffstat:
M
scribblings/util.rkt
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scribblings/util.rkt b/scribblings/util.rkt
@@ -687,7 +687,7 @@ EOCSS
                                                        (file->bytes tikztag.sty)
                                                        #"\n\\makeatother\n"))))
                 (list "\\hphantom{\text{" @mathtext[txt] "}}"
-                      "\\tikztag{" @mathtext[txt] "}"))]
+                      "\\tikztag" (if starred? "*" "") "{" @mathtext[txt] "}"))]
    [else (list " (" txt ")")]))
 
 (define tag (tag** #f))