diff options
-rw-r--r-- | Master/texmf/texdoc/texdoc.cnf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/texdoc/texdoc.cnf b/Master/texmf/texdoc/texdoc.cnf index a0ec73aae51..37a8803b2ca 100644 --- a/Master/texmf/texdoc/texdoc.cnf +++ b/Master/texmf/texdoc/texdoc.cnf @@ -146,6 +146,8 @@ alias iso = isoman alias pstricks = pstricks-doc alias extramarks = fancyhdr alias fonttable = fonttable/fonttable +alias makeindex = base/makeindex +alias makeidx = makeindx ## a few easy patterns |