summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/tex4ht/extra-bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-05-03 01:32:21 +0000
committerKarl Berry <karl@freefriends.org>2021-05-03 01:32:21 +0000
commit4feea2468d21899ed23a55816e5027793d73f0b0 (patch)
tree7fb702d574e37d9090b04cac03d7f824a12b77b7 /Master/texmf-dist/source/generic/tex4ht/extra-bin
parent51d9a33e68f1f36a2db54a1c8773032750b72201 (diff)
tex4ht source files
git-svn-id: svn://tug.org/texlive/trunk@59059 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/extra-bin')
-rwxr-xr-xMaster/texmf-dist/source/generic/tex4ht/extra-bin/vcss2
-rwxr-xr-xMaster/texmf-dist/source/generic/tex4ht/extra-bin/xmllint2
2 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/extra-bin/vcss b/Master/texmf-dist/source/generic/tex4ht/extra-bin/vcss
new file mode 100755
index 00000000000..af3a4e4bec2
--- /dev/null
+++ b/Master/texmf-dist/source/generic/tex4ht/extra-bin/vcss
@@ -0,0 +1,2 @@
+#!/bin/sh
+true
diff --git a/Master/texmf-dist/source/generic/tex4ht/extra-bin/xmllint b/Master/texmf-dist/source/generic/tex4ht/extra-bin/xmllint
new file mode 100755
index 00000000000..af3a4e4bec2
--- /dev/null
+++ b/Master/texmf-dist/source/generic/tex4ht/extra-bin/xmllint
@@ -0,0 +1,2 @@
+#!/bin/sh
+true