Hello,
I had a problem with configure:
I just installed bison 1.28 in a non-standard path using ".\configure
--prefix=/my/path/".
As I used the bash tab-key-feature (i.e. filename completion) I got the
trailing "/" in the path.
This caused double "//" to occur in several files (bison.simple,
con
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi all:
Some time ago I reported a bug on autoconf 2.49a... what happened
with this bug? Is it a bug? I received no response, so I cannot know
if this was really a bug or a misinterpretation frm myself.
Regards.
diego.
--
Diego Sevi
On Thu, Aug 24, 2000 at 11:06:46AM +0200, Diego Sevilla Ruiz ([EMAIL PROTECTED]) wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Hi all:
>
> Some time ago I reported a bug on autoconf 2.49a... what happened
> with this bug? Is it a bug? I received no response, so I cannot kn
Richard Stallman writes:
> It seems best to do what Debian is doing, so I wrote this:
>
> @item htmldir
> The directory for installing the HTML files (if any) for this package.
> (HTML files should be generated from Texinfo sources.) By default, it
> should be @file{/usr/local/doc/@var{package}}
Bruno Haible writes:
> Richard Stallman writes:
> > It seems best to do what Debian is doing, so I wrote this:
> >
> > @item htmldir
> > The directory for installing the HTML files (if any) for this package.
> > (HTML files should be generated from Texinfo sources.) By default, it
> > should be
--- Peter Eisentraut <[EMAIL PROTECTED]> wrote:
>
> I fully support making "docdir" a separate directory that defaults to
> `${prefix}/doc' -- after all, this has been reality for years. But I'd
> like to see this taken further: make "info" a subdirectory of "doc", make
> "man" a subdirectory of
Earnie Boyd wrote:
>
> --- Peter Eisentraut <[EMAIL PROTECTED]> wrote:
> >
> > I fully support making "docdir" a separate directory that defaults to
> > `${prefix}/doc' -- after all, this has been reality for years. But I'd
> > like to see this taken further: make "info" a subdirectory of "doc",
%% Bruno Haible <[EMAIL PROTECTED]> writes:
bh> Richard Stallman writes:
>> It seems best to do what Debian is doing, so I wrote this:
>> @item htmldir
>> The directory for installing the HTML files (if any) for this package.
>> (HTML files should be generated from Texinfo sources.) B
>--[David Morgan]--<[EMAIL PROTECTED]>
> > --- Peter Eisentraut <[EMAIL PROTECTED]> wrote:
> > > I fully support making "docdir" a separate directory that defaults to
> > > `${prefix}/doc' -- after all, this has been reality for years. But I'd
> > > like to see this taken further: make "info" a s
--- David Morgan <[EMAIL PROTECTED]> wrote:
> Earnie Boyd wrote:
> >
> > --- Peter Eisentraut <[EMAIL PROTECTED]> wrote:
> > >
> > > I fully support making "docdir" a separate directory that defaults to
> > > `${prefix}/doc' -- after all, this has been reality for years. But I'd
> > > like to see
%% Peter Eisentraut <[EMAIL PROTECTED]> writes:
pe> But I'd like to see this taken further: make "info" a subdirectory
pe> of "doc", make "man" a subdirectory of "doc", make "dvi" a
pe> subdirectory of "doc", make "html" a subdirectory of "doc", in
pe> short put all the documentation into
[ On , August 24, 2000 at 16:11:34 (-0400), Paul D. Smith wrote: ]
> Subject: Re: HTML format documentation
>
> There's 20+ years of history behind ${prefix}/man and there's, oh, say,
> 13+ years of history behind ${prefix}/info.
Hmmm
> Moving man to .../share
> (${datadir}) on some systems
%% [EMAIL PROTECTED] (Greg A. Woods) writes:
>> Moving man to .../share (${datadir}) on some systems was painful
>> enough, and there was a very solid technical reason to do that.
gaw> It was painful only because too many people made too many
gaw> assumptions! ;-)
What were these assum
On Aug 24, 2000, Bruno Haible <[EMAIL PROTECTED]> wrote:
> Richard Stallman writes:
>> It seems best to do what Debian is doing, so I wrote this:
>>
>> @item htmldir
>> The directory for installing the HTML files (if any) for this package.
>> (HTML files should be generated from Texinfo sources.
14 matches
Mail list logo
