diff options
Diffstat (limited to 'generator/docstrings.ml')
-rw-r--r-- | generator/docstrings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generator/docstrings.ml b/generator/docstrings.ml index 3faaa57c..7a32cb9c 100644 --- a/generator/docstrings.ml +++ b/generator/docstrings.ml @@ -62,7 +62,7 @@ type comment_style = type license = GPLv2plus | LGPLv2plus let generate_header ?(extra_inputs = []) comment license = - let inputs = "generator/generator_*.ml" :: extra_inputs in + let inputs = "generator/ *.ml" :: extra_inputs in let c = match comment with | CStyle -> pr "/* "; " *" | CPlusPlusStyle -> pr "// "; "//" |