diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2021-05-02 17:33:26 +0200 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2021-05-02 17:33:26 +0200 |
| commit | bf1adece8aeb48e136085233d2f5ff2f9600eaf5 (patch) | |
| tree | 6a46b0c7e7fbea6a85c0e44714e0076251e82cac /deliverable/main.dmg | |
| parent | de4565fe9290ec1f1031eed6f7d067794df53166 (diff) | |
update
Diffstat (limited to 'deliverable/main.dmg')
| -rw-r--r-- | deliverable/main.dmg | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/deliverable/main.dmg b/deliverable/main.dmg new file mode 100644 index 0000000..c36b1c9 --- /dev/null +++ b/deliverable/main.dmg @@ -0,0 +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 (7 entries accepted, 0 rejected). +Sorting entries....done (19 comparisons). +Generating output file main.dmd....done (9 lines written, 0 warnings). +Output written in main.dmd. +Transcript written in main.dmg. |