blob: 355c0bd7b7eb0dd0ba38fe7176162e68cc3d9782 (
plain)
1
2
3
4
5
6
7
8
|
- **Changed:**
``coqdep`` now reports an error if files specified on the
command line don't exist or if it encounters unreadable files.
Unknown options now generate a warning. Previously these
conditions were ignored.
(`#14024 <https://github.com/coq/coq/pull/14024>`_,
fixes `#14023 <https://github.com/coq/coq/issues/14023>`_,
by Hendrik Tews).
|
