Added call to "make info", to generate:
authorRoland Pesch <pesch@cygnus>
Wed, 24 Jul 1991 01:23:41 +0000 (01:23 +0000)
committerRoland Pesch <pesch@cygnus>
Wed, 24 Jul 1991 01:23:41 +0000 (01:23 +0000)
  -- gdb-all.texinfo (texinfo source after M4 processing)
  -- gdb.info (file compiled by makeinfo from texinfo-2 release)

gdb/.Sanitize

index cc0168c4eacee976708b7327a47a523918fb1fab..6b6fbdeb3c71fe56daf5e9efa9ff2931ccb9ff2d 100644 (file)
@@ -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.