54
54
#. having passed a "--gui=..." option to the program,
55
55
#. so we need to actually catch this error and output
56
56
#. an informative message.
58
58
#. This is, however, not an error that end users should face;
59
59
#. if they do, then someone upstream from them messed up--
60
60
#. either `make install' worked only half-way, or a packager