From b83fe0ed8a8e7258c8cf55178dd619b743c8342e Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 1 Aug 2018 13:14:39 +0200
Subject: simplified, cleaned and documented Makefile.common

---
 mathcomp/ssreflect/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'mathcomp/ssreflect/Makefile')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index c3092fc..76b8c2c 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -8,10 +8,9 @@ COQMAKEOPTIONS=--no-print-directory
 include ../Makefile.common
 
 # --------------------------------------------------------------------
-# this sets variable V (coq version) and MLLIBEXTRA
+# this sets variables COQVERSION and MLLIBEXTRA
 # assuming PLUGIN is set to the directory which contains the plugins
 PLUGIN=../../plugin/
 SSR=.
 include Makefile.detect-coq-version
-
 COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
-- 
cgit v1.2.3