summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/vms/vaxcrtl.opt
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/vms/vaxcrtl.opt')
-rw-r--r--Build/source/texk/dvipsk/vms/vaxcrtl.opt1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/vms/vaxcrtl.opt b/Build/source/texk/dvipsk/vms/vaxcrtl.opt
new file mode 100644
index 00000000000..a01884977fe
--- /dev/null
+++ b/Build/source/texk/dvipsk/vms/vaxcrtl.opt
@@ -0,0 +1 @@
+sys$share:vaxcrtl/share