From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7148 invoked by alias); 12 Sep 2002 22:16:49 -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 7034 invoked from network); 12 Sep 2002 22:16:47 -0000 Received: from unknown (HELO vexpert.dbai.tuwien.ac.at) (128.130.111.12) by sources.redhat.com with SMTP; 12 Sep 2002 22:16:47 -0000 Received: from pulcherrima (pulcherrima [128.130.111.23]) by vexpert.dbai.tuwien.ac.at (8.12.6/8.12.6) with ESMTP id g8CMG1YV001419; Fri, 13 Sep 2002 00:16:01 +0200 (CEST) Date: Thu, 12 Sep 2002 15:16:00 -0000 From: Gerald Pfeifer To: Joe Buck cc: Florian Weimer , Toshitaka Kumano , , Subject: PATCH for Re: GNAT Users Guide *online* ? In-Reply-To: <200208301917.MAA07905@atrus.synopsys.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2002-09/txt/msg00505.txt.bz2 On Fri, 30 Aug 2002, Joe Buck wrote: >> It's http://gcc.gnu.org/onlinedocs/gnat_ug_unx/. (Or "wnt" instead of >> "unx" if you're interested in the Win32 version). > Right, but unlike with the other manuals, there's no link to this manual > from the http://gcc.gnu.org/onlinedocs/ page. Any doc that isn't linked > to probably can't be found. As nobody else apparently was interested to fix this, I now committed the patch below. Gerald Index: index.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/onlinedocs/index.html,v retrieving revision 1.42 diff -u -3 -p -r1.42 index.html --- index.html 15 Aug 2002 00:09:07 -0000 1.42 +++ index.html 12 Sep 2002 22:14:49 -0000 @@ -133,6 +133,10 @@ existing release.

  • GNAT Reference Manual (also in PostScript)
    • +
  • GNAT User's Guide + for Unix Platforms (also in + PostScript)
  • CPP Manual (also in PostScript)