usr/share/info/gnucobol.info