equal
deleted
inserted
replaced
53 ISABELLE_LUALATEX by default |
53 ISABELLE_LUALATEX by default |
54 |
54 |
55 The presence of a "build" command within the document output directory |
55 The presence of a "build" command within the document output directory |
56 explicitly requires document_build=build. Minor INCOMPATIBILITY, need to |
56 explicitly requires document_build=build. Minor INCOMPATIBILITY, need to |
57 adjust session ROOT options. |
57 adjust session ROOT options. |
|
58 |
|
59 * Option "document_preprocessor" specifies the name of an executable |
|
60 that is run within the document output directory, after preparing the |
|
61 document sources and before the actual build process. This allows to |
|
62 apply adhoc patches, without requiring a separate "build" script. |
58 |
63 |
59 * Isabelle .sty files are automatically generated within the document |
64 * Isabelle .sty files are automatically generated within the document |
60 output directory; former "isabelle latex -o sty" has been discontinued. |
65 output directory; former "isabelle latex -o sty" has been discontinued. |
61 Minor INCOMPATIBILITY in document build scripts. |
66 Minor INCOMPATIBILITY in document build scripts. |
62 |
67 |