diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-omega.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-omega.tlpsrc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-omega.tlpsrc b/Master/tlpkg/tlpsrc/bin-omega.tlpsrc deleted file mode 100644 index da8f8d0eaaa..00000000000 --- a/Master/tlpkg/tlpsrc/bin-omega.tlpsrc +++ /dev/null @@ -1,8 +0,0 @@ -name bin-omega -category TLCore -execute AddFormat name=omega engine=omega options="omega.ini" -execute AddFormat name=lambda engine=omega patterns=language.dat options="lambda.ini" -docpattern f texmf/doc/man/man1/lambda.* -docpattern f texmf/doc/man/man1/omega.* -binpattern f bin/${ARCH}/lambda -binpattern f bin/${ARCH}/omega |