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)

diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index cc0168c4eacee976708b7327a47a523918fb1fab..6b6fbdeb3c71fe56daf5e9efa9ff2931ccb9ff2d 100644 (file)
--- 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.