diff -r 714e4fac9cd0 -r 7ae30649b30b java/sql-dk/help-generator.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/java/sql-dk/help-generator.sh	Sun Dec 29 15:28:24 2013 +0100
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+cat \
+	src/info/globalcode/sql/dk/CLIParser.java \
+	src/info/globalcode/sql/dk/CLIStarter.java \
+	| ../../scripts/help_generator.pl
+