Commit eb58f35de0a8b08f284d72a88ca831a4c95212ea

Bruno Haible 2007-04-27T22:54:42

texinfo syntax fix.