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/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index 9064020..c631c7b 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -8,7 +8,7 @@ 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
 # and SSR is set to the directory of the ssreflect package
 PLUGIN=../plugin
-- 
cgit v1.2.3