diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/aleph.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/aleph.tlpsrc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/aleph.tlpsrc b/Master/tlpkg/tlpsrc/aleph.tlpsrc index e3941c348ed..f8656266553 100644 --- a/Master/tlpkg/tlpsrc/aleph.tlpsrc +++ b/Master/tlpkg/tlpsrc/aleph.tlpsrc @@ -1,4 +1,6 @@ execute AddFormat name=aleph engine=aleph options=*aleph.ini -execute AddFormat name=lamed engine=aleph patterns=language.dat options=*lambda.ini +execute AddFormat name=lamed engine=aleph patterns=language.dat \ + options=*lambda.ini binpattern f bin/${ARCH}/aleph binpattern f bin/${ARCH}/lamed +docpattern +f texmf/doc/man/man1/aleph.* |