summaryrefslogtreecommitdiff
path: root/scripts/context/stubs/mswin/xmltools.bat
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/context/stubs/mswin/xmltools.bat')
-rwxr-xr-xscripts/context/stubs/mswin/xmltools.bat2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/context/stubs/mswin/xmltools.bat b/scripts/context/stubs/mswin/xmltools.bat
new file mode 100755
index 000000000..2de0e4457
--- /dev/null
+++ b/scripts/context/stubs/mswin/xmltools.bat
@@ -0,0 +1,2 @@
+@echo off
+texmfstart xmltools.rb %*