Re: [lilypond-book] @format environments

2020-07-05 Thread Michael Käppler
Am 06.07.2020 um 07:24 schrieb Werner LEMBERG: please see the attached files for a test case, [...] Thanks, looks good. Thanks for your feedback! What I did not test, however, was texi2html-1.82. Well, it will take some time until we can move on to a newer version, so this has to be tested, t

Re: [lilypond-book] @format environments

2020-07-05 Thread Werner LEMBERG
> please see the attached files for a test case, [...] Thanks, looks good. > What I did not test, however, was texi2html-1.82. Well, it will take some time until we can move on to a newer version, so this has to be tested, too. > So I would vote to make > > @noindent > [Version string if nee

Re: non web_version of web.texi ?

2020-07-05 Thread David Kastrup
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 w

Re: non web_version of web.texi ?

2020-07-05 Thread Graham Percival
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 rea

non web_version of web.texi ?

2020-07-05 Thread Han-Wen Nienhuys
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 -