From 70bbd812098cf7abf822a9678394722228929811 Mon Sep 17 00:00:00 2001 From: Takuto ASAKURA Date: Tue, 27 Jul 2021 19:56:09 +0900 Subject: [PATCH] show webman.pdf for query "web" (fix #71) --- texdoc.cnf | 1 + 1 file changed, 1 insertion(+) diff --git a/texdoc.cnf b/texdoc.cnf index b5ad9ec..1e07314 100644 --- a/texdoc.cnf +++ b/texdoc.cnf @@ -476,6 +476,7 @@ alias teubner = teubner-doc alias vntex = vntex # should win over vntex-man in general alias vntex-vi = vntex-man alias vrbexin = verbasef-doc +alias web = webman.pdf alias xypic = xyguide alias zztex = zzdetails.dat