diff options
Diffstat (limited to 'support/TeX4ht/source/extra-bin')
-rw-r--r-- | support/TeX4ht/source/extra-bin/vcss | 2 | ||||
-rw-r--r-- | support/TeX4ht/source/extra-bin/xmllint | 2 |
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 |