[Bug gdb/12619] New: GDB info doc should mention name of "init file"

[bkorb at gnu dot org]

http://sourceware.org/bugzilla/show_bug.cgi?id=12619

           Summary: GDB info doc should mention name of "init file"
           Product: gdb
           Version: unknown
            Status: NEW
          Severity: minor
          Priority: P2
         Component: gdb
        AssignedTo: unassigned@sourceware.org
        ReportedBy: bkorb@gnu.org


I had to google it to figure it out.  First try was ".gdbrc"
then I had to thrash around.  The "Startup" section should
say something like:
  The "init file" on windows is typically "gdb.ini" and on
  UNIX-like systems is typically ".gdbinit".
and remove the "typically" word if it is always such.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.