summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-07-01 20:50:38 +0000
committerKarl Berry <karl@freefriends.org>2020-07-01 20:50:38 +0000
commit878146825f50960945da8b9c18fa11f718c79c7b (patch)
tree74adb41797a7bbd17d0b1ce33a27a5f4845d60d3 /Master/tlpkg
parent217f4d072b9ff774eb8b4399999744824cac8d9a (diff)
verifiche (1jul20)
git-svn-id: svn://tug.org/texlive/trunk@55720 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check3
-rw-r--r--Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/verifiche.tlpsrc0
3 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 9780b2465ba..5be65f98d11 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -786,7 +786,8 @@ my @TLP_working = qw(
varsfromjobname varwidth vaucanson-g vcell vdmlisting
velthuis venn venndiagram venturisadf
verbasef verbatimbox verbatimcopy verbdef
- verbments verifica verse version versions versonotes vertbars vgrid
+ verbments verifica verifiche verse
+ version versions versonotes vertbars vgrid
vhistory visualfaq visualpstricks visualtikz
vmargin vntex vocaltract volumes
voss-mathcol
diff --git a/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc
index 644239480c9..aa3855e40b4 100644
--- a/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc
@@ -1247,6 +1247,7 @@ depend verbatimbox
depend verbatimcopy
depend verbdef
depend verbments
+depend verifiche
depend version
depend versions
depend versonotes
diff --git a/Master/tlpkg/tlpsrc/verifiche.tlpsrc b/Master/tlpkg/tlpsrc/verifiche.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/verifiche.tlpsrc