Eliminate GNAT User's Guide unnecessary directive and alternative warnings

[Gerald Pfeifer]

On Thu, 29 May 2003, Matt Kraai wrote:
> The GNAT User's Guide contains some unnecessary directives and
> alternatives in VMS-only or non-VMS-only sections.  These cause
> the following warnings:
> [...]
> The following patch eliminates these warnings.  I've tested it by
> running "make info", "make dvi", and by bootstrapping and
> regression testing, all on powerpc-unknown-linux-gnu.

        * gnat_ug.texi (The GNAT Run-Time Library Builder gnatlbr):
        Remove non-VMS directive.
        (Switches for gnatlbr, Optimization Levels): Remove non-VMS
        alternatives.
        (Examples of gnatls Usage): Remove VMS alternative.

> OK to commit?

I'd say yes (even under the obvious rule), but I'm a bit hesitant as this
is something our Ada maintainers probably want to have a look at as well.

Geert, is this okay with you / do you agree it's the right thing to do?

Gerald
-- 
Gerald "Jerry"   pfeifer@dbai.tuwien.ac.at   http://www.pfeifer.com/gerald/