From 835bd9f8eb19f617dcbda625450fc8ed57048e49 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 3 Jun 2016 16:17:14 +0200
Subject: Add license text to the windows installation

---
 dev/nsis/coq.nsi | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/nsis')

diff --git a/dev/nsis/coq.nsi b/dev/nsis/coq.nsi
index e1052b1e1..80da84517 100755
--- a/dev/nsis/coq.nsi
+++ b/dev/nsis/coq.nsi
@@ -83,6 +83,7 @@ FunctionEnd
 Section "Coq" Sec1
 
   SetOutPath "$INSTDIR\"
+  File ${COQ_SRC_PATH}\LICENSE
 
   SetOutPath "$INSTDIR\bin"
   File ${COQ_SRC_PATH}\bin\*.exe
-- 
cgit v1.2.3