Install gnat-gps-doc by entering the following commands in the terminal:
sudo apt update sudo apt install gnat-gps-doc
Description:
integrated development environment for C and Ada (documentation)
GNAT Programming Studio is a complete integrated development environment that gives access to a wide range of tools and integrates them smoothly. . This package contains the documentation in HTML and PDF formats. This documentation consists of: - the GPS Tutorial: building Hello, World with the GPS - a User's Guide: using the GPS for multi-language projects - a Programmer's Manual: extending the GPS with new modules - an user's guide for the gnatdoc command line tool
Homepage: http://libre.adacore.com/libre/tools/gps
Version: 6.1.2016-1ubuntu1
Section: universe/doc