diff options
| -rw-r--r-- | Master/texmf-dist/texdoc/texdoc.cnf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/texdoc/texdoc.cnf b/Master/texmf-dist/texdoc/texdoc.cnf index beeab226cbd..1d1b6be1330 100644 --- a/Master/texmf-dist/texdoc/texdoc.cnf +++ b/Master/texmf-dist/texdoc/texdoc.cnf @@ -368,6 +368,7 @@ alias layouts = layman alias plnfss = plnfss.txt # XXX alias teubner = teubner-doc alias xypic = xyguide +alias kvoptions-patch = kvoptions # XXX? ## a few easy patterns |