diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index cc0168c..6b6fbde 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -259,6 +259,8 @@ echo >depend ./config.gdb none rm depend make depend +echo "Making GDB texinfo and info files" +make gdb.info echo Done in `pwd`. # End of file. |