summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/extra-bin/xmllint
diff options
context:
space:
mode:
Diffstat (limited to 'support/TeX4ht/source/extra-bin/xmllint')
-rw-r--r--support/TeX4ht/source/extra-bin/xmllint2
1 files changed, 2 insertions, 0 deletions
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