scripts/sql-dk.sh
branchv_0
changeset 114 125e3373d6e2
parent 111 259c0c64321b
child 121 53a331cbc7b4
--- a/scripts/sql-dk.sh	Thu Jan 02 19:59:33 2014 +0100
+++ b/scripts/sql-dk.sh	Thu Jan 02 20:00:17 2014 +0100
@@ -4,6 +4,9 @@
     . ~/.sql-dk/environment.sh
 fi
 
+[ -f ~/.sql-dk/config.rnc ] || ln -s /usr/share/doc/sql-dk/config.rnc ~/.sql-dk/config.rnc
+[ -f ~/.sql-dk/config.xsd ] || ln -s /usr/share/doc/sql-dk/config.xsd ~/.sql-dk/config.xsd
+
 [ -n "$JAR" ] || JAR="/usr/share/sql-dk/sql-dk.jar";
 
 MAIN_CLASS="info.globalcode.sql.dk.CLIStarter";