projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2cf456) | patch
[Ada] Remove references to gcov from the User Manual
authorArnaud Charlet <charlet@adacore.com>
Tue, 17 Jul 2018 08:03:39 +0000 (08:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Jul 2018 08:03:39 +0000 (08:03 +0000)
commit5a3c20f80eb2ca30c721fcab728529589c80c414
tree27b5189962e4b85c3ed8942c64926f27f745a088tree
parenta2cf456a48ef0574ca9439812121aa388ace6c41commit | diff
[Ada] Remove references to gcov from the User Manual

2018-07-17  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* doc/gnat_ugn/about_this_guide.rst,
doc/gnat_ugn/gnat_and_program_execution.rst: Remove references to gcov.
* gnat_ugn.texi: Regenerate.

From-SVN: r262765
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_ugn/about_this_guide.rst diff | blob | history
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history