diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2021-05-08 20:17:03 +0200 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2021-05-08 20:17:03 +0200 |
| commit | b252e588d7d0f7a850198da6196869c6c336720e (patch) | |
| tree | 45b6b2b91b5eeedb2493524c7096e273e5be0473 /deliverable/main.dmg | |
| parent | fb59ae0d5b0e76d5ddae8621126f73cac5536bb0 (diff) | |
new version
Diffstat (limited to 'deliverable/main.dmg')
| -rw-r--r-- | deliverable/main.dmg | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/deliverable/main.dmg b/deliverable/main.dmg index da74461..54fc825 100644 --- a/deliverable/main.dmg +++ b/deliverable/main.dmg @@ -1,7 +1,7 @@ This is makeindex, version 2.15 [TeX Live 2020] (kpathsea + Thai support). Scanning style file ./main.ist.............................done (29 attributes redefined, 0 ignored). -Scanning input file main.dmn....done (82 entries accepted, 0 rejected). -Sorting entries....done (508 comparisons). -Generating output file main.dmd....done (22 lines written, 0 warnings). +Scanning input file main.dmn....done (81 entries accepted, 0 rejected). +Sorting entries....done (487 comparisons). +Generating output file main.dmd....done (21 lines written, 0 warnings). Output written in main.dmd. Transcript written in main.dmg. |