diff options
| author | Richard Jones <rjones@redhat.com> | 2010-02-24 17:57:01 +0000 |
|---|---|---|
| committer | Richard Jones <rjones@redhat.com> | 2010-02-24 18:26:55 +0000 |
| commit | bc1784a2103d884f85a448af856d5c6254583979 (patch) | |
| tree | 59e470c1c079c1d7cec0c4600dfa1082c07319d6 /generator | |
| parent | aef7470a0492d3fea1a00ef2de8381417fb23b83 (diff) | |
| download | hivex-bc1784a2103d884f85a448af856d5c6254583979.tar.gz hivex-bc1784a2103d884f85a448af856d5c6254583979.tar.xz hivex-bc1784a2103d884f85a448af856d5c6254583979.zip | |
Rename hivex/ -> lib/
Diffstat (limited to 'generator')
| -rwxr-xr-x | generator/generator.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generator/generator.ml b/generator/generator.ml index 89ba7d7..7a326db 100755 --- a/generator/generator.ml +++ b/generator/generator.ml @@ -1353,8 +1353,8 @@ Run it from the top source directory using the command check_functions (); - output_to "hivex/hivex.h" generate_c_header; - output_to "hivex/hivex.pod" generate_c_pod; + output_to "lib/hivex.h" generate_c_header; + output_to "lib/hivex.pod" generate_c_pod; (* Always generate this file last, and unconditionally. It's used * by the Makefile to know when we must re-run the generator. |