[Hugs-users] Print version and quit

[Leif Frenzel]

Hi,

is there an option for Hugs to just show a version string and quit
immediately? (Could not find anything like that in the manual, and some
plausible candidates I tried had not the desired effect.)

I am interfacing Hugs from an IDE, and it would be nice if I just could
'ping' the executable a user has named in the Preferences, to find out
whether it is there and would run and print the version to the user.

Thanks and ciao,
Leif