Subject: Re: bug#19928: Bug: no INSTALL file

From: Paul Eggert <[email-masked]>
Date: Mon, 23 Feb 2015 10:49:57 -0800

On 02/23/2015 08:06 AM, Lukasz Dorau wrote:
> There is no INSTALL file

There's not supposed to be an INSTALL file in a git checkout. Instead, 
please read README-hacking.  I installed the attached change to README 
to help explain this.
>From 1938fb7827db3874a3325fafa76b684a7718060a Mon Sep 17 00:00:00 2001
From: Paul Eggert <[email-masked]>
Date: Mon, 23 Feb 2015 10:47:08 -0800
Subject: [PATCH] Cover the non-INSTALL case

* README: Mention what to do if there is no INSTALL file.
Fixes: bug#19928
---
 README | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README b/README
index c4959fe..e41c161 100644
--- a/README
+++ b/README
@@ -23,6 +23,8 @@ will run more slowly, however.)
 See the files AUTHORS and THANKS for a list of authors and other contributors.
 
 See the file INSTALL for compilation and installation instructions.
+If there is no INSTALL file, this copy of the source code is intended
+for expert hackers; please see the file README-hacking.
 
 See the file NEWS for a description of major changes in this release.
 
-- 
2.1.0