GNU bug report logs - #15066
./configure && make && make install

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 15066 in the body.
You can then email your comments to 15066 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: jidanni <at> jidanni.org
To: bug-coreutils <at> gnu.org
Subject: ./configure && make && make install
Date: Sat, 10 Aug 2013 07:43:44 +0800

I note a lot of packages come with

    Installation Instructions
    *************************

    Copyright (C) 1994-1996, 1999-2002, 2004-2012 Free Software Foundation,
    Inc.

       Copying and distribution of this file, with or without modification,
    are permitted in any medium without royalty provided the copyright
    notice and this notice are preserved.  This file is offered as-is,
    without warranty of any kind.

    Basic Installation
    ==================

       Briefly, the shell commands `./configure; make; make install' should
    configure, build, and install this package.  The following

I think that should say
            `./configure && make && make install'

Please tell whoever writes that file, as the file itself doesn't say. (Bad also!)

Also maybe it should say

            ./configure && make && make install

All on its own line for easy cut and pasting...

Message #10 received at 15066-done <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: jidanni <at> jidanni.org
Cc: 15066-done <at> debbugs.gnu.org
Subject: Re: bug#15066: ./configure && make && make install
Date: Sat, 10 Aug 2013 15:57:07 +0200

On 08/10/2013 01:43 AM, jidanni <at> jidanni.org wrote:
> I note a lot of packages come with

[...]

>     Basic Installation
>     ==================
> 
>        Briefly, the shell commands `./configure; make; make install' should
>     configure, build, and install this package.  The following
> 
> I think that should say
>             `./configure && make && make install'

Thanks for the report.
As you didn't say to what file you refer to, I'm assuming you refer
to the file './INSTALL'.  That one is a symlink to gnulib:

  $ ls -ldog
  lrwxrwxrwx 1 18 Aug  1 03:38 INSTALL -> gnulib/doc/INSTALL

Therefore, it is maintained there.
However, that's not the end of the story, as gnulib regularly
syncs it from the autoconf project.

So if you want the want to have it changed, please report this
issue there.  As the improvement will automatically make it's
way down to coreutils, I'm marking this bug as done.

> Please tell whoever writes that file, as the file itself
> doesn't say. (Bad also!)

As you see, that file is shared by many projects, and therefore
adding an author would not be beneficial.

Have a nice day,
Berny

Message #13 received at 15066 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: 15066 <at> debbugs.gnu.org, mail <at> bernhard-voelker.de, jidanni <at> jidanni.org
Subject: Re: bug#15066: ./configure && make && make install
Date: Sat, 10 Aug 2013 08:13:19 -0700

On 08/10/2013 06:57 AM, Bernhard Voelker wrote:
> if you want the want to have it changed, please report this
> issue there.

No need; I fixed it upstream just now.  Thanks for reporting the problem.

Message #16 received at 15066 <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: Paul Eggert <eggert <at> cs.ucla.edu>
Cc: 15066 <at> debbugs.gnu.org, jidanni <at> jidanni.org
Subject: Re: bug#15066: ./configure && make && make install
Date: Sat, 10 Aug 2013 17:41:29 +0200

On 08/10/2013 05:13 PM, Paul Eggert wrote:
> I fixed it upstream just now.

even better, thanks!

Have a nice day,
Berny

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.