summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
committerNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
commit2fabbabd551479c72c4ec985868cb9da3e473271 (patch)
treea40f62f9785cb91f53fa629e374b5e153f139102 /Build
parentf74a8364798e9c06b1a8acb62c09833f013da035 (diff)
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/tools/tpm-ctan-check6
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check
index 027cf7970bc..742536a0d55 100755
--- a/Build/tools/tpm-ctan-check
+++ b/Build/tools/tpm-ctan-check
@@ -59,7 +59,7 @@ sub main
koma-script
l2picfaq l2tabu-english
labelcas latex latex-tds ledmac lewis lfb lh linearA lineno
- listings lsc
+ listings lkproof lsc
lshort-bulgarian lshort-dutch lshort-english
lshort-finnish lshort-french lshort-german
lshort-italian lshort-japanese lshort-korean
@@ -76,8 +76,8 @@ sub main
oberdiek ocr-latex octavo opcit
pauldoc pdf-trans pdfcprot pdfpages pdftex-def perception
perltex pgf pictex pict2e placeins plari
- polynom poemscol powerdot #powerdot-doc-vn
- ppr-prv pracjourn preview probsoln proof psfrag psnfss pstricks
+ polynom poemscol powerdot
+ ppr-prv pracjourn preview probsoln psfrag psnfss pstricks
pstricks-add
pst-3d pst-3dplot pst-barcode pst-blur pst-eucl pst-func pst-tree
pst-labo pst-lens pst-optic pst-osci pst-pdf pst-pdgr pst-slpe