diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/esint/bigint.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/esint/bigint.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/esint/bigint.mf b/Master/texmf-dist/fonts/source/public/esint/bigint.mf index 0cdd5f34c84..6449bf2210f 100644 --- a/Master/texmf-dist/fonts/source/public/esint/bigint.mf +++ b/Master/texmf-dist/fonts/source/public/esint/bigint.mf @@ -17,7 +17,7 @@ %% Install the files: %% %% -- esint.sty and usent.fd on TEXINPUT; -%% -- esint10.mf, manhunt.mf and biting.mf on MFINPUT +%% -- esint10.mf, mathint.mf and bigint.mf on MFINPUT %% -- generate Tom files running METAFONT on ensint10.mf files, and put the *.tfm file on the right location. %% %% Run XeLaTeX on esint.dtx to generate documentation. |