summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/tlpsrc/cweb.tlpsrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/cweb.tlpsrc b/Master/tlpkg/tlpsrc/cweb.tlpsrc
index e13acc31c95..ce495176860 100644
--- a/Master/tlpkg/tlpsrc/cweb.tlpsrc
+++ b/Master/tlpkg/tlpsrc/cweb.tlpsrc
@@ -16,6 +16,7 @@ docpattern +f texmf-dist/doc/man/man1/cweave.*
docpattern +f texmf-dist/doc/man/man1/cweb.*
#
docpattern +f texmf-dist/doc/man/man1/ctwill.*
+docpattern +f texmf-dist/doc/man/man1/ctwill-proofsort.*
docpattern +f texmf-dist/doc/man/man1/ctwill-refsort.*
docpattern +f texmf-dist/doc/man/man1/ctwill-twinx.*
#