From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25004 invoked by alias); 25 Aug 2011 12:14:55 -0000 Received: (qmail 24980 invoked by uid 22791); 25 Aug 2011 12:14:53 -0000 X-SWARE-Spam-Status: No, hits=-2.4 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mx.mandriva.com (HELO mx1.mandriva.com) (212.85.150.166) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 25 Aug 2011 12:14:39 +0000 Received: from portable-alex.inria.fr (wifi-eduroam-161083.inria.fr [128.93.161.83]) by mx1.mandriva.com (Postfix) with ESMTP id 52F01274002; Thu, 25 Aug 2011 14:14:38 +0200 (CEST) From: Alexandre Lissy To: gcc-patches@gcc.gnu.org Cc: gcc-melt@googlegroups.com, basile@starynkevitch.net Subject: [PATCH, MELT] Fixing texi file for MELT Plugin API Date: Thu, 25 Aug 2011 13:17:00 -0000 Message-Id: <1314274472-15043-1-git-send-email-alissy@mandriva.com> X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2011-08/txt/msg02051.txt.bz2 Hello, A couple of nodes in the texi file for the MELT Plugin API were not present in the menu, hence makeinfo failed. Fixing with help from Patrice Dumas .