I saw this and I don't see any issue with the Devhelp make file, it looks pretty normal. Also some other PRs are not failing which is weird. @b4n any ideas? I haven't tried to do a make distcheck in a long time for GP.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.