diff options
Diffstat (limited to '')
| -rw-r--r-- | print/makeindex/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print/makeindex/pkg-plist b/print/makeindex/pkg-plist index 8e5c5f47ed0c..2e22ea58b1d8 100644 --- a/print/makeindex/pkg-plist +++ b/print/makeindex/pkg-plist @@ -13,4 +13,4 @@ lib/texmf/makeindx/german/digit.ist lib/texmf/makeindx/german/special.ist lib/texmf/makeindx/german/umlaut.ist lib/texmf/makeindx/german/wb.ist -man/man1/makeindex.1 +man/man1/makeindex.1.gz |