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.) By default, it
>> should be @file{/usr/local/doc/@var{package}}, but it should be written
>> as @file{$(prefix)/doc/@var{package}}.
Why not $(datadir)/doc/@var{package} =
$(prefix)/share/doc/@var{package}? This is precisely the kind of
thing that should go into share, AFAICT.
> through a "configure" option --docdir.
Sounds reasonable to me.
> Here is a patch that would implement this in autoconf-2.13.
But not for 2.13. Maybe for 2.49a (snapshot), that went out last
week.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
