diff options
Diffstat (limited to 'Doc/README.txt')
-rw-r--r-- | Doc/README.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/README.txt b/Doc/README.txt index 087efd5..dfb3d58 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -59,6 +59,9 @@ Available make targets are: deprecated items in the current version. This is meant as a help for the writer of the "What's New" document. + * "coverage", which builds a coverage overview for standard library modules + and C API. + A "make update" updates the Subversion checkouts in `tools/`. |