From 285af3dbb5359d33572f17e27f24be7ba09340b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20Laleve=CC=81e?= <nicolas.lalevee@hibnet.org>
Date: Fri, 13 Apr 2018 15:42:08 +0200
Subject: [PATCH] There is no "docs" subdirectory, just a "manual"

---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 83c11675a..6b5048398 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,2 +1,2 @@
-For installation instructions see the manual in the docs subdirectory
-or online at <http://ant.apache.org/manual/index.html>.
+For installation instructions see the manual by opening manual/index.html
+or see it online at <http://ant.apache.org/manual/index.html>.