diff options
| author | Paul Smith <psmith@gnu.org> | 2022-10-16 15:50:13 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2022-10-18 14:37:47 -0400 |
| commit | 4ec74e568d1da54d56b3628afc9fe8577e79e6bf (patch) | |
| tree | 0f3b683f4ac0368ddd4583ee05f1d22b5b615910 /make-gdb.py | |
| parent | d9fc1ac5d2e427eed6e61ac95f5ebf72ed380089 (diff) | |
| download | make-git-4ec74e568d1da54d56b3628afc9fe8577e79e6bf.tar.gz | |
* NEWS: Use GNU Make instead of GNU make
* README.git: Ditto.
* README.Amiga: Ditto.
* README.DOS: Ditto.
* README.OS2: Ditto.
* README.VMS: Ditto.
* README.W32: Ditto.
* README.customs: Ditto.
* make-gdb.py: Ditto.
* tests/run_make_tests.pl: Ditto.
Diffstat (limited to 'make-gdb.py')
| -rw-r--r-- | make-gdb.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-gdb.py b/make-gdb.py index e06d2729..ba3987da 100644 --- a/make-gdb.py +++ b/make-gdb.py @@ -1,4 +1,4 @@ -"""GDB pretty-printer macros for GNU make.""" +"""GDB pretty-printer macros for GNU Make.""" import gdb # pylint: disable=import-error import gdb.printing # pylint: disable=import-error |