Am Montag, den 06.07.2020, 18:48 -0700 schrieb Graham Percival:
> On Mon, Jul 06, 2020 at 11:26:46AM +0200, Han-Wen Nienhuys wrote:
> > Just for clarity, I'm not against having web.texi as an info file or
> > PDF file. It's just that I want to get rid of the special casing of
> > web_version,
On Mon, Jul 06, 2020 at 11:26:46AM +0200, Han-Wen Nienhuys wrote:
> Just for clarity, I'm not against having web.texi as an info file or
> PDF file. It's just that I want to get rid of the special casing of
> web_version, which (when switched) off produces a doc with less links.
Ah sorry, it's
On Sun, Jul 5, 2020 at 11:54 PM Graham Percival
wrote:
>
> On Sun, Jul 05, 2020 at 10:38:50PM +0200, Han-Wen Nienhuys wrote:
> > is there any other function of web.texi besides producing the
> > lilypond.org website? I would like to get rid of the "-D web_version"
> > distinction, that is making
Graham Percival writes:
> On Sun, Jul 05, 2020 at 10:38:50PM +0200, Han-Wen Nienhuys wrote:
>> is there any other function of web.texi besides producing the
>> lilypond.org website? I would like to get rid of the "-D web_version"
>> distinction, that is making web_version always be true for the
On Sun, Jul 05, 2020 at 10:38:50PM +0200, Han-Wen Nienhuys wrote:
> is there any other function of web.texi besides producing the
> lilypond.org website? I would like to get rid of the "-D web_version"
> distinction, that is making web_version always be true for the web
> document. Is there any
Hi there,
is there any other function of web.texi besides producing the
lilypond.org website? I would like to get rid of the "-D web_version"
distinction, that is making web_version always be true for the web
document. Is there any reason to not do this?
--
Han-Wen Nienhuys - hanw...@gmail.com