> I changed doc.gpm.in accordingly, yet have to update gpm.info. doc.gpm is the source, gpm.info is generated by "make". Unless you changed the documentation build system, I mean. /alessandro