Juan RP b51659f128 texinfo: the INSTALL script is not needed anymore. ... Bump revision. --HG-- extra : convert_revision : ee2755712aeb0d005970d91107b76f120e570635		2009-08-08 22:37:49 +02:00
..
template	texinfo: the INSTALL script is not needed anymore.	2009-08-08 22:37:49 +02:00