[distrib] distribute gen_ast.mli

c1505102 · Virgile Prevosto · adaed949 · c1505102
Commit c1505102 authored Apr 11, 2022 by Virgile Prevosto
--- a/Makefile.common
+++ b/Makefile.common
@@ -64,7 +64,7 @@ $(PLUGIN_DIR)/.clang_complete: $(PLUGIN_DIR)/Makefile.config
 	$(foreach opt,$(CLANG_CXXFLAGS),echo $(opt) >> $@;)

 PLUGIN_DISTRIB_EXTERNAL:=configure.ac configure Makefile Makefile.clang \
-Makefile.common Makefile.config.in gen_ast.ml \
+Makefile.common Makefile.config.in gen_ast.ml gen_ast.mli \
 $(wildcard $(FCLANG_CXXFILES:%=%.cpp)) $(wildcard $(FCLANG_CXXFILES:%=%.h)) \
 intermediate_format.ast DescentParse.template \
 Doxyfile mainpage.dox README.md \