From fccbd64faec80fc20bedf4c33d14b6579da9e300 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 29 Sep 2016 11:39:28 +0200
Subject: [build] Add a target to install the META file.

---
 Makefile.install | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile.install b/Makefile.install
index 4dad8cf0d4..4800ea0b96 100644
--- a/Makefile.install
+++ b/Makefile.install
@@ -18,7 +18,7 @@ ifeq ($(LOCAL),true)
 install:
 	@echo "Nothing to install in a local build!"
 else
-install: install-coq install-coqide install-doc-$(WITHDOC)
+install: install-coq install-coqide install-doc-$(WITHDOC) install-meta
 endif
 
 # NOTA: for install-coqide, see Makefile.ide
@@ -58,6 +58,7 @@ endif
 .PHONY: install-coq install-binaries install-byte install-opt
 .PHONY: install-tools install-library install-devfiles
 .PHONY: install-coq-info install-coq-manpages install-emacs install-latex
+.PHONY: install-meta
 
 install-coq: install-binaries install-library install-coq-info install-devfiles
 
@@ -140,6 +141,9 @@ install-latex:
 	$(INSTALLLIB) tools/coqdoc/coqdoc.sty $(FULLCOQDOCDIR)
 #	-$(UPDATETEX)
 
+install-meta: META.coq
+	$(INSTALLLIB) META.coq $(FULLCOQLIB)/META
+
 # For emacs:
 # Local Variables:
 # mode: makefile
-- 
cgit v1.2.3