From e37a6d70f5964ba773ad52efeb0a079bd5d51894 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Thu, 8 Jun 2017 19:28:41 +0200
Subject: Fixes bug #5561,#5562 in Windows build system

---
 dev/build/windows/MakeCoq_SetRootPath.bat | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'dev/build/windows/MakeCoq_SetRootPath.bat')

diff --git a/dev/build/windows/MakeCoq_SetRootPath.bat b/dev/build/windows/MakeCoq_SetRootPath.bat
index 3a3711724f..bcb104772c 100644
--- a/dev/build/windows/MakeCoq_SetRootPath.bat
+++ b/dev/build/windows/MakeCoq_SetRootPath.bat
@@ -1,3 +1,14 @@
+REM ========== COPYRIGHT/COPYLEFT ==========
+
+REM (C) 2016 Intel Deutschland GmbH
+REM Author: Michael Soegtrop
+
+REM Released to the public by Intel under the
+REM GNU Lesser General Public License Version 2.1 or later
+REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html
+
+REM ========== CHOOSE A SENSIBLE ROOT PATH ==========
+
 @ ECHO OFF
 
 REM Figure out a root path for coq and cygwin
-- 
cgit v1.2.3