diff options
-rw-r--r-- | Master/texmf-dist/texdoc/texdoc.cnf (renamed from Master/texmf/texdoc/texdoc.cnf) | 0 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/texdoc.tlpsrc | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/texdoc/texdoc.cnf b/Master/texmf-dist/texdoc/texdoc.cnf index 5c3feb95eca..5c3feb95eca 100644 --- a/Master/texmf/texdoc/texdoc.cnf +++ b/Master/texmf-dist/texdoc/texdoc.cnf diff --git a/Master/tlpkg/tlpsrc/texdoc.tlpsrc b/Master/tlpkg/tlpsrc/texdoc.tlpsrc index afb743c6e1f..d57a051e062 100644 --- a/Master/tlpkg/tlpsrc/texdoc.tlpsrc +++ b/Master/tlpkg/tlpsrc/texdoc.tlpsrc @@ -5,7 +5,7 @@ postaction shortcut type=menu name="TeXdoc GUI" \ runpattern f texmf/scripts/tetex/texdoctk.pl runpattern f texmf/scripts/texdoc/* runpattern f texmf/texdoctk/* -runpattern f texmf/texdoc/* +runpattern f texmf-dist/texdoc/* docpattern f texmf/doc/man/man1/texdoc.* docpattern f texmf/doc/man/man1/texdoctk.* docpattern f texmf/doc/texdoc/* |