This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/12619] GDB info doc should mention name of "init file" initem 2
- From: "bkorb at gnu dot org" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Tue, 29 Mar 2011 17:41:08 +0000
- Subject: [Bug gdb/12619] GDB info doc should mention name of "init file" initem 2
- Auto-submitted: auto-generated
- References: <bug-12619-4717@http.sourceware.org/bugzilla/>
http://sourceware.org/bugzilla/show_bug.cgi?id=12619
Bruce Korb <bkorb at gnu dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P2 |P3
Summary|GDB info doc should mention |GDB info doc should mention
|name of "init file" |name of "init file" in item
| |2
--- Comment #1 from Bruce Korb <bkorb at gnu dot org> 2011-03-29 17:41:05 UTC ---
To be slightly clearer, yes, it is mentioned at the bottom.
It seems to me that it either should be referenced at the
first reference to "init file" (item 2), or footnoted there
(as you do with "home directory").
--
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.