diff options
Diffstat (limited to 'Master/texmf-dist/tpm/texinfo.tpm')
| -rw-r--r-- | Master/texmf-dist/tpm/texinfo.tpm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tpm/texinfo.tpm b/Master/texmf-dist/tpm/texinfo.tpm index c8299cdeed7..21a3b59802b 100644 --- a/Master/texmf-dist/tpm/texinfo.tpm +++ b/Master/texmf-dist/tpm/texinfo.tpm @@ -15,7 +15,7 @@ Produces online or printed output from a single source. <TPM:Size>291790</TPM:Size> <TPM:License></TPM:License> <TPM:Build/> - <TPM:RunFiles size="291790"> + <TPM:RunFiles size="292450"> texmf-dist/tex/texinfo/texinfo.ini texmf-dist/tex/texinfo/texinfo.tex texmf-dist/tex/texinfo/txi-cs.tex |