diff options
author | Karl Berry <karl@freefriends.org> | 2008-12-10 16:44:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-12-10 16:44:56 +0000 |
commit | a001fa69d650b819d705710f22245f42c7c5ac3d (patch) | |
tree | f69c09f039965239e84cc648a6a515e87448b154 | |
parent | c65358f00f53c30bb4b0e629815ff05d2635255f (diff) |
include more dev files
git-svn-id: svn://tug.org/texlive/trunk@11582 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/tlpkg/tlpsrc/00texlive.core.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/00texlive.core.tlpsrc b/Master/tlpkg/tlpsrc/00texlive.core.tlpsrc index 5a6301895c2..f0ea16e3836 100644 --- a/Master/tlpkg/tlpsrc/00texlive.core.tlpsrc +++ b/Master/tlpkg/tlpsrc/00texlive.core.tlpsrc @@ -17,3 +17,6 @@ runpattern f texmf/doc/man/man1/Makefile runpattern f texmf/doc/man/man5/Makefile runpattern f tl-portable* runpattern f texmf/scripts/texlive/tlmgr2.pl +runpattern f texmf/scripts/texlive/papersize-setting.pl +runpattern f texmf/scripts/texlive/tlmgrgui/gui-config2.pl +runpattern f texmf/scripts/texlive/tlmgrgui/tlmgrgui2.pl |