summaryrefslogtreecommitdiff
path: root/HACKING.adoc
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-02-07 13:15:22 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-02-15 11:19:07 +0100
commit13c8c60f398bce1a44dd02f6f17d728e5e2859c0 (patch)
tree29a0d747fcb142677f9fc5554fcd68d61d731898 /HACKING.adoc
parentf8dc9e4c852ca089d05828bd6ff5b8cd93d94871 (diff)
downloadocaml-13c8c60f398bce1a44dd02f6f17d728e5e2859c0.tar.gz
Update documentation and scripts to use Makefile even on Windows
Diffstat (limited to 'HACKING.adoc')
-rw-r--r--HACKING.adoc2
1 files changed, 1 insertions, 1 deletions
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