From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18860 invoked by alias); 4 Oct 2002 00:37:26 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 18847 invoked from network); 4 Oct 2002 00:37:25 -0000 Received: from unknown (HELO fencepost.gnu.org) (199.232.76.164) by sources.redhat.com with SMTP; 4 Oct 2002 00:37:25 -0000 Received: from monty-python.gnu.org ([199.232.76.173]) by fencepost.gnu.org with esmtp (Exim 4.10) id 17xGSx-0002Xb-00 for gcc@gnu.org; Thu, 03 Oct 2002 20:37:15 -0400 Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 17xGSf-0006ZT-00 for gcc@gnu.org; Thu, 03 Oct 2002 20:37:03 -0400 Received: from piper.synopsys.com ([146.225.1.217]) by monty-python.gnu.org with esmtp (Exim 4.10) id 17xGSK-0006YY-00 for gcc@gnu.org; Thu, 03 Oct 2002 20:36:36 -0400 Received: (from jbuck@localhost) by piper.synopsys.com (8.11.6/8.11.6) id g940aEi02723; Thu, 3 Oct 2002 17:36:14 -0700 From: Joe Buck Message-Id: <200210040036.g940aEi02723@piper.synopsys.com> Subject: Re: http://gcc.gnu.org To: janis187@us.ibm.com (Janis Johnson) Date: Thu, 03 Oct 2002 18:11:00 -0000 Cc: Joe.Buck@synopsys.COM (Joe Buck), janis187@us.ibm.com (Janis Johnson), vargenau@free.fr, gcc@gnu.org In-Reply-To: <20021003162132.A31765@us.ibm.com> from "Janis Johnson" at Oct 03, 2002 04:21:32 PM MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-Status: No, hits=-5.5 required=5.0 tests=IN_REP_TO,QUOTED_EMAIL_TEXT,SPAM_PHRASE_00_01 version=2.41 X-Spam-Level: X-SW-Source: 2002-10/txt/msg00204.txt.bz2 [ problems with texinfo -> html output ] Janis writes: > Another possibility, perhaps, is to run the processed files through > HTML Tidy, which cleans them up quite nicely. Cool. If it works, and it's easy, it seems like the way to go (at least until texinfo is fixed).