On Thu, Jul 11, 2024 at 01:51:03PM +0200, Jürgen Spitzmüller wrote: > If I understand the scrips correctly (which I very likely do not) the > command that is missing here is egrep.
What does line EGREP in your config.log says? Here I see EGREP='/usr/bin/grep -E' Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
