equal
deleted
inserted
replaced
3 set -e |
3 set -e |
4 |
4 |
5 FORMAT="$1" |
5 FORMAT="$1" |
6 VARIANT="$2" |
6 VARIANT="$2" |
7 |
7 |
|
8 # ad-hoc patching of temporary path from sources |
|
9 perl -i -pe 's/\\isakeyword\{module\{\\isacharunderscore\}name\}\\ Example\\ \\isakeyword\{file\}\\ \{\\isachardoublequoteopen\}.*\{\\isacharslash\}/\\isakeyword{module{\\isacharunderscore}name}\\ Example\\ \\isakeyword{file}\\ {\\isachardoublequoteopen}examples{\\isacharslash}/g' \ |
|
10 Introduction.tex |
|
11 |
8 "$ISABELLE_TOOL" logo Isar |
12 "$ISABELLE_TOOL" logo Isar |
9 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" |
13 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" |
10 |
14 |
|
15 # clean up afterwards |
|
16 rm -rf "${ISABELLE_TMP}/examples" |