generator: Small fix for GODI users.
authorRichard Jones <rich@koneko.home.annexia.org>
Sun, 21 Mar 2010 17:13:07 +0000 (17:13 +0000)
committerRichard Jones <rich@koneko.home.annexia.org>
Mon, 22 Mar 2010 10:41:44 +0000 (10:41 +0000)
GODI has an odd package layout, so the generator was unable to
find xml-light.  Add the GODI directory to the search path.

src/generator.ml

index fdd228e..92a7735 100755 (executable)
@@ -42,6 +42,7 @@
 #load "unix.cma";;
 #load "str.cma";;
 #directory "+xml-light";;
+#directory "+../pkg-lib/xml-light";; (* for GODI users *)
 #load "xml-light.cma";;
 
 open Unix