diff options
Diffstat (limited to 'Build/tests/pdf-context0-hello/hello.tmp')
-rw-r--r-- | Build/tests/pdf-context0-hello/hello.tmp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Build/tests/pdf-context0-hello/hello.tmp b/Build/tests/pdf-context0-hello/hello.tmp deleted file mode 100644 index 1a8d709709d..00000000000 --- a/Build/tests/pdf-context0-hello/hello.tmp +++ /dev/null @@ -1,9 +0,0 @@ -% hello.top -\unprotect -\batchmode -\setupsystem[file=hello] -\setupoutput[pdftex] -\setupsystem[\c!directory={/home/karl/}] -\setupsystem[\c!n=1] -\setupsystem[inputfile=hello.tex] -\protect |