[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what should be installed in the default case?
From: |
Patrice Dumas |
Subject: |
Re: what should be installed in the default case? |
Date: |
Mon, 1 Mar 2010 13:43:53 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Mon, Mar 01, 2010 at 12:16:35AM +0000, Karl Berry wrote:
> Maybe a --texi2html and a --gnu option for argument
> parsing and default when processing html?
>
> Maybe just one option with an argument? As in:
> --program=texi2html or --program=makeinfo or --program=texi2any.
>
> But for texi2html, I still think that it should not be installed with
> a make install, but something like make install-texi2html.
>
> Ok. Maybe a configure option would be convenient for people: configure
> --enable-texi2html. But just a make option sounds ok too.
Agreed on both.
--
Pat