From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9f13e69c08f7af20
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: gnat user's guide
Date: 1996/03/23
Message-ID: <dewar.827589947@schonberg>#1/1
X-Deja-AN: 143860311
distribution: usa
references: <1996Mar23.010655.16859@nosc.mil>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-03-23T00:00:00+00:00
List-Id: <comp.lang.ada>

Wallace asks

"Has anyone put together a gnat user's manual (explanation of gnatbl
command-line arguments, etc.)?"

I would not call gnatinfo.txt a "gnat user's manual", but it is reasonably 
complete at least with respect to basic issues like this. The question
makes me guess that you are trying to use GNAT without having read
gnatinfo.txt. This is a definite mistake. All distributions of GNAT
come with gnatinfo.txt, so it is definitely available. It certainly
contains documentation for gnatb and other utilities!

We have under preparation more comprehensive documentation (for a preview,
look at the GNAT manuals that come with the SGI product).