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 bee
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 w
Hello,
Here is the current patch countdown list. The next countdown will be on
July 8th.
A list of all merge requests can be found here:
https://gitlab.com/lilypond/lilypond/-/merge_requests?sort=label_priority
Push:
!222 extract_texi_filenames: print read files - Han-Wen Nienhuys
http