* main.c (print_gdb_help): Don't advertise the (long non-existent)
authorEli Zaretskii <eliz@gnu.org>
Sat, 27 Aug 2005 12:05:01 +0000 (12:05 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sat, 27 Aug 2005 12:05:01 +0000 (12:05 +0000)
commita94ab19323a1b38220f9d028846030d79fb1ac88
treec2a4ea3c1c3a33388b3bdffc734a4e47213341db
parent99b9cfd66ded371d2e914bd9b1b9cfbd6b316ab7
* main.c (print_gdb_help): Don't advertise the (long non-existent)
option --mapped.

* gdb.texinfo (File Options): Don't document --mapped, it's gone
since 19-Jan-2004.
(Files): Likewise.
gdb/ChangeLog
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
gdb/main.c