Thanks, Hélio. I was about to say that the redhat directory and its content seem harmless, and might even be of use to somebody. I've fixed the typo that Sven noted, and also updated the GTK2 requirement, in redhat/gretl.spec.in. Allin On Mon, Jul 10, 2023 at 3:32 PM Hélio Guilherme <helioxentric(a)gmail.com&gt; wrote: > > 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(a)fu-berlin.de&gt; 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