From 13c8c60f398bce1a44dd02f6f17d728e5e2859c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Tue, 7 Feb 2017 13:15:22 +0100
Subject: Update documentation and scripts to use Makefile even on Windows

---
 HACKING.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'HACKING.adoc')

diff --git a/HACKING.adoc b/HACKING.adoc
index 17cd6d8eb8..44557b02da 100644
--- a/HACKING.adoc
+++ b/HACKING.adoc
@@ -152,7 +152,7 @@ has excellent documentation.
   INSTALL.adoc::          instructions for installation
   LICENSE::               license and copyright notice
   Makefile::              main Makefile
-  Makefile.nt::           Windows Makefile
+  Makefile.nt::           Windows Makefile (deprecated)
   Makefile.shared::       common Makefile
   Makefile.tools::        used by manual/ and testsuite/ Makefiles
   README.adoc::           general information on the compiler distribution
-- 
cgit v1.2.1

