diff options
author | Norbert Preining <norbert@preining.info> | 2018-04-18 09:58:55 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2018-04-18 09:58:55 +0900 |
commit | 97c498990768240db2126f56c5bb2a07014b3b88 (patch) | |
tree | 2f76a18f973d5e1aff3f7596160941a315b05a8f /texmf-dist/scripts/ketcindy/dirhead.txt | |
parent | b37ee2eee26b9135cb474d95eac1fc5660c0d049 (diff) |
remove ketcindy, it is in main
Diffstat (limited to 'texmf-dist/scripts/ketcindy/dirhead.txt')
-rw-r--r-- | texmf-dist/scripts/ketcindy/dirhead.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/texmf-dist/scripts/ketcindy/dirhead.txt b/texmf-dist/scripts/ketcindy/dirhead.txt deleted file mode 100644 index e87a8005..00000000 --- a/texmf-dist/scripts/ketcindy/dirhead.txt +++ /dev/null @@ -1,7 +0,0 @@ -Dirhead=Dircdy; -Dirwork=gethome()+pathsep()+"ketcindy"; -Dircdy=Dirwork; -setdirectory(Dirhead); -import("setketcindy.txt"); -import("ketoutset.txt"); -setdirectory(Dirwork); |