Binary package “gprbuild-doc” in ubuntu precise

multi-language extensible build tool (documentation)

 A set of tools for processing GNAT project files. gprbuild runs tools
 on the specified source files; gprclean removes the corresponding
 built files; gprconfig configures both tools. It is highly
 configurable; the default configuration supports compiling Ada,
 Assembler, C, C++, and Fortran sources. It can be extended to support
 user source processing tools.
 .
 This package contains the documentation for gprbuild, gprclean,
 gprconfig, in HTML, info, and pdf formats.