diff options
Diffstat (limited to 'generator/Makefile.am')
-rw-r--r-- | generator/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generator/Makefile.am b/generator/Makefile.am index 39688c1b..112fc695 100644 --- a/generator/Makefile.am +++ b/generator/Makefile.am @@ -28,6 +28,7 @@ SOURCES = \ generator_optgroups.ml \ generator_prepopts.mli \ generator_prepopts.ml \ + generator_events.ml \ generator_pr.mli \ generator_pr.ml \ generator_docstrings.ml \ |