Added call to "make info", to generate:

-- gdb-all.texinfo (texinfo source after M4 processing) -- gdb.info (file compiled by makeinfo from texinfo-2 release)
1991-07-24 01:23:41 +00:00
parent 8e71e6e376
commit 42078e7901
1 changed files with 2 additions and 0 deletions
--- 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.