summaryrefslogtreecommitdiff
path: root/development/javacc/jjdoc
diff options
context:
space:
mode:
Diffstat (limited to 'development/javacc/jjdoc')
-rw-r--r--development/javacc/jjdoc3
1 files changed, 3 insertions, 0 deletions
diff --git a/development/javacc/jjdoc b/development/javacc/jjdoc
new file mode 100644
index 0000000000..5f1cdfa7e3
--- /dev/null
+++ b/development/javacc/jjdoc
@@ -0,0 +1,3 @@
+#!/bin/sh
+java -classpath /opt/javacc/javacc.jar jjdoc "$@"
+