Re: [gentoo-dev] [PATCH] texlive-common.eclass: add EAPI 8

[Ulrich Mueller]

>>>>> On Sat, 08 Apr 2023, Thomas Bracht Laumann Jespersen wrote:

> -     [ -f "${mark}" ]
> +     [[ -f "${mark}" ]]

The quotes are no longer needed in [[ ]].