diff --git a/Makefile b/Makefile index d71afceec561588fe073d539311730d0a09ae3ce..28f2c2620ae67d1906ea511e171f14e8965602e7 100644 --- a/Makefile +++ b/Makefile @@ -54,7 +54,7 @@ PLUGIN_DISTRIBUTED:=no PLUGIN_DISTRIB_EXTERNAL:=configure.ac configure Makefile Makefile.clang \ Makefile.common Makefile.config.in gen_ast.ml *.cpp *.h \ intermediate_format.ast DescentParse.template frama_Clang_config.ml.in \ -Doxyfile mainpage.dox README \ +Doxyfile mainpage.dox README.md \ $(addprefix share/libc++/,$(CXX_HEADERS)) include $(FRAMAC_SHARE)/Makefile.dynamic @@ -122,7 +122,7 @@ distrib: clean $(TAR) czf frama-clang-$(FCLANG_VERSION).tar.gz frama-clang-$(FCLANG_VERSION) $(RM) -r frama-clang-$(FCLANG_VERSION) -NOHEADER=%configure README +NOHEADER=$(addprefix $(Frama_Clang_DIR)/, configure README.md) headers:: $(PRINT_MAKING) $@ diff --git a/Makefile.common b/Makefile.common index cd2eb6751410f583eb4c2a2a123ac19266e2c8d1..3682e9c2a281bee495c5e261f9cd27b01f2d0bbe 100644 --- a/Makefile.common +++ b/Makefile.common @@ -70,5 +70,5 @@ FCLANG_DISTRIBUTED_FILES=\ gen_ast.ml intermediate_format.ast \ configure.ac configure \ Makefile Makefile.common Makefile.clang Makefile.config.in \ - README \ + README.md \ $(addprefix share/libc++/, $(CXX_HEADERS)))