Merge branch 'master' into stable/titanium

f669092a · Virgile Robles · 6518a6e6 · 4a68dd2f · f669092a
Commit f669092a authored Dec 09, 2020 by Virgile Robles
--- a/Makefile.in
+++ b/Makefile.in
@@ -63,7 +63,7 @@ $(MetAcsl_DIR)/tests/test_config: \
 	sed -e 's|@WP_SHARE@|$(WP_SHARE)|' $< > $@
 	$(CHMOD_RO) $@

-METACSL_SHARE := $(FRAMAC_DATADIR)/metacsl
+METACSL_SHARE := $(FRAMAC_DATADIR)/meta

 p:
 	make uninstall && make clean && make && make install