That directory contains the information for the RPM package for Red-Hat based Linux distributions.

For now, I think you should keep it.
I am "planning" to do some work on this area, to have a .rpm and .deb "snapshot" builds.

On Mon, Jul 10, 2023 at 5:15 PM Sven Schreiber <sven.schreiber@fu-berlin.de> wrote:

Hi,

a totally non-urgent question: Is the "redhat" directory in the source
still needed? It only seems to contain the gretl.spec.in -- that alone
of course doesn't say that it's unnecessary, but the latest change there
seems to be from 2015.

And looking into that short file, the duplication "comprising comprises"
immediately jumps at the reader, so that makes me wonder whether this is
really used.

thanks

sven
_______________________________________________
Gretl-devel mailing list -- gretl-devel@gretlml.univpm.it
To unsubscribe send an email to gretl-devel-leave@gretlml.univpm.it
Website: https://gretlml.univpm.it/postorius/lists/gretl-devel.gretlml.univpm.it/