diff options
Diffstat (limited to 'Tools/scripts/README')
-rw-r--r-- | Tools/scripts/README | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/scripts/README b/Tools/scripts/README index 7fc51a10ee..ba0f662c45 100644 --- a/Tools/scripts/README +++ b/Tools/scripts/README @@ -58,6 +58,7 @@ reindent-rst.py Fix-up reStructuredText file whitespace rgrep.py Reverse grep through a file (useful for big logfiles) run_tests.py Run the test suite with more sensible default options serve.py Small wsgiref-based web server, used in make serve in Doc +stable_abi.py Stable ABI checks and file generators. suff.py Sort a list of files by suffix texi2html.py Convert GNU texinfo files into HTML untabify.py Replace tabs with spaces in argument files |