#
#
#


INFODIR= /usr/share/info