| changeset 73733 | b13b2c1d419e |
| parent 73731 | a1ef2589c33f |
| child 73740 | c46ff0efa1ce |
--- a/src/Doc/Tutorial/document/build Tue May 18 19:59:22 2021 +0200 +++ b/src/Doc/Tutorial/document/build Tue May 18 20:19:02 2021 +0200 @@ -7,6 +7,7 @@ isabelle latex -o "$FORMAT" isabelle latex -o bbl +isabelle latex -o "$FORMAT" +isabelle latex -o "$FORMAT" ./isa-index root isabelle latex -o "$FORMAT" -isabelle latex -o "$FORMAT"