- * output files. Note that if you are using a separate build directory you must
- * run generator.ml from your top level build directory. You must also have run
- * configure before generator.ml will run.
+ * output files. Note that if you are using a separate build directory you
+ * must run generator.ml from the _source_ directory.