On Mon, 30 Mar 2020, Allin Cottrell wrote:
Here's something that people building gretl from the git sources
should note.
(It's not relevant if you're building from a released source package.)
[...]
Also, I've got rid of the "stamp" files that we were using to signal that
the
helpfiles had been built -- with the exception of one called fig.stamp. So
you can clean these up in <src>/share:
rm -f *.stamp # delete all
touch fig.stamp # but reconstitute this one
I still need to think about how best to get rid of fig.stamp.
No problem, it's gone, safe to delete. I'll try to remember to say a
little more about this but for now: no worries.
Allin