diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/ran_toks/ran_toks.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/ran_toks/ran_toks.ins | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/ran_toks/ran_toks.ins b/Master/texmf-dist/source/latex/ran_toks/ran_toks.ins index 4d2d77d191a..1d84cf5ce61 100644 --- a/Master/texmf-dist/source/latex/ran_toks/ran_toks.ins +++ b/Master/texmf-dist/source/latex/ran_toks/ran_toks.ins @@ -46,6 +46,7 @@ {% \file{ran_toks.sty}{\from{ran_toks.dtx}{copyright,package}} \file{ran-toks.sty}{\from{ran_toks.dtx}{copyright,altpkgname}} + \file{rt-dbapp.def}{\from{ran_toks.dtx}{copyright,dbapp}} } \Msg{***************************************************************} |