]> Savannah Git Hosting - gnulib.git/commit
warnings, manywarnings: Doc fixes.
authorSimon Josefsson <simon@josefsson.org>
Fri, 23 Sep 2022 07:06:22 +0000 (09:06 +0200)
committerSimon Josefsson <simon@josefsson.org>
Fri, 23 Sep 2022 07:06:22 +0000 (09:06 +0200)
commit54c09c98a67219ba2cf70c4bb23f80990db37066
tree64a0110260b64d16a8c142c266b1e42cc6fa1ac4
parent444afc0817254d64282160d4b474c3fd66360a15
warnings, manywarnings: Doc fixes.

* doc/manywarnings.texi (manywarnings): Improve usage instruction.
Start list of comments on particular warning flags, based on
comment from Paul Eggert <eggert@cs.ucla.edu>.
* doc/warnings.texi (warnings): Mention that it is often used with manywarnings.
ChangeLog
doc/manywarnings.texi
doc/warnings.texi