summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/extra-bin
diff options
context:
space:
mode:
Diffstat (limited to 'support/TeX4ht/source/extra-bin')
-rw-r--r--support/TeX4ht/source/extra-bin/vcss2
-rw-r--r--support/TeX4ht/source/extra-bin/xmllint2
2 files changed, 4 insertions, 0 deletions
diff --git a/support/TeX4ht/source/extra-bin/vcss b/support/TeX4ht/source/extra-bin/vcss
new file mode 100644
index 0000000000..af3a4e4bec
--- /dev/null
+++ b/support/TeX4ht/source/extra-bin/vcss
@@ -0,0 +1,2 @@
+#!/bin/sh
+true
diff --git a/support/TeX4ht/source/extra-bin/xmllint b/support/TeX4ht/source/extra-bin/xmllint
new file mode 100644
index 0000000000..af3a4e4bec
--- /dev/null
+++ b/support/TeX4ht/source/extra-bin/xmllint
@@ -0,0 +1,2 @@
+#!/bin/sh
+true