Am Freitag, dem 12.07.2024 um 15:28 +0200 schrieb Jean-Marc Lasgouttes: > Do you see a mention of grep and egrep in the configure output?
yes: > checking for grep that handles long lines and -e... /usr/bin/grep I get nothing like the above, but > checking for egrep... /usr/bin/grep -E checking for egrep -e... /usr/bin/grep -E -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
