diff options
author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-01-11 08:52:59 +0000 |
---|---|---|
committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-01-11 08:52:59 +0000 |
commit | 5b4cbcac30a2514177ba169ad9c90638fda16f10 (patch) | |
tree | da46e735422c3fa18f7e4cb805b4fabfafcecb19 /gcc/ada/ChangeLog | |
parent | 63acdb54d64e5a889101912922d7824e77fe2c92 (diff) |
[Ada] Add Sphinx option -W to treat warnings as errors
2018-01-11 Ben Brosgol <brosgol@adacore.com>
gcc/ada/
* doc/Makefile: Add Sphinx option -W to treat warnings as errors.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256506 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
-rw-r--r-- | gcc/ada/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 538bd902b46..9681fbd9713 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 2018-01-11 Ben Brosgol <brosgol@adacore.com> + * doc/Makefile: Add Sphinx option -W to treat warnings as errors. + +2018-01-11 Ben Brosgol <brosgol@adacore.com> + * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording corrections. * gnat_rm.texi: Regenerate. |