debian man page for gprconfig

gprconfig(1)							Programmer's Manual						      gprconfig(1)

NAME
       gprconfig - multi-language extensible build tool

SYNOPSIS
       gprconfig [-v] [-q] [-o] [--target=target] [--show-targets] [--batch] [--db] [--db-] [--config=language[,version[,runtime[,path[,name]]]]]

DESCRIPTION
       Creates configuration files for gprbuild(1).

       If --batch is not given, displays a menu of compilers to choose from.

SEE ALSO
       GPRBuild User's Guide, available in Info, PDF, and HTML in /usr/share/doc/gprbuild-doc, installed by the gprbuild-doc package.

AUTHOR
       This  manual  page  was written by Stephen Leake <stephen_leake@stephe-leake.org> for the Debian project, but it can be used for other pur-
       poses as well.

Debian								    2010-01-03							      gprconfig(1)