diff options
Diffstat (limited to 'generator/Makefile.am')
| -rw-r--r-- | generator/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generator/Makefile.am b/generator/Makefile.am index b9fcfb94..39688c1b 100644 --- a/generator/Makefile.am +++ b/generator/Makefile.am @@ -52,7 +52,7 @@ SOURCES = \ SOURCES_ML = $(filter %.ml,$(SOURCES)) OBJECTS = $(SOURCES_ML:.ml=.cmo) -EXTRA_DIST = $(SOURCES) +EXTRA_DIST = $(SOURCES) files-generated.txt OCAMLCFLAGS = -warn-error CDEFLMPSUVYZX OCAMLCLIBS = unix.cma str.cma |