On 2019-05-24, Kornel Benko wrote: > [-- Type: text/plain, Encoding: quoted-printable --]
> Am Freitag, 24. Mai 2019, 15:49:07 CEST schrieb Guenter Milde: >> On 2019-05-24, Jean-Marc Lasgouttes wrote: >> > Le 20/05/2019 à 15:38, Pavel Sanda a écrit : >> >> On Mon, May 20, 2019 at 12:10:24PM -0000, Guenter Milde wrote: >> >>>>> but I wonder: shouldn't we just drop the makefile and >> >>>>> stop this very partial distribution that makes no sense? >> >>> This is my suggestion. >> >> I agree, these are primarily dev tools. Pavel >> > But we do distribute the development/ directory. >> ... but we don't need to distribute all the auxiliary development files. >> Günter > Sure, we don't need, but shouldn't we? Any help (also from non-devels) > is welcome. In this case, we may consider to pack all *.lyx files (or all files that are checked into git) in /autotests. Günter
