Browse Source

fix higher indices (labels cause pages to shift, so 2 makeindexes)

Anil Madhavapeddy 4 months ago
parent
commit
0cf684d329
2 changed files with 2 additions and 0 deletions
  1. 1 0
      static-wip/dune
  2. 1 0
      static/dune

+ 1 - 0
static-wip/dune

@@ -25,6 +25,7 @@
      (system "xelatex book.tex")
      (system "makeindex book.idx")
      (system "xelatex book.tex")
+     (system "makeindex book.idx")
      (system "xelatex book.tex")
   )))
 

+ 1 - 0
static/dune

@@ -25,6 +25,7 @@
      (system "xelatex book.tex")
      (system "makeindex book.idx")
      (system "xelatex book.tex")
+     (system "makeindex book.idx")
      (system "xelatex book.tex")
   )))