[Bug build/7817] Mention gdb_indent.sh, gdb_mbuild.sh in coding section

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=7817

Tom Tromey <tromey at sourceware dot org> changed:

What |Removed |Added
----------------------------------------------------------------------------
CC| |tromey at sourceware dot org

--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
gdb_indent.sh should probably just be removed now.
Not sure about gdb_mbuild.sh.