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