summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/texdoc/texdoc.cnf1
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