show webman.pdf for query "web" (fix #71)

TeX-Live · Jul 27, 2021 · 70bbd81 · 70bbd81
1 parent 72e07b1
commit 70bbd81
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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