[PATCH] gdb/doc: use silent-rules.mk in the Makefile

[Tom Tromey]

>>>>> "Andrew" == Andrew Burgess <aburgess@redhat.com> writes:

Andrew> Anyway, let me know what you think.

FWIW this looks good to me.

Approved-By: Tom Tromey <tom@tromey.com>

Andrew>     One possibly weird thing here is that I have left both an
Andrew>     ECHO_TEXI2POD and a ECHO_TEXI2MAN in the rule $(MAN1S) and $(MAN5S)
Andrew>     recipes.  This is 100% not going to break anything, these just print
Andrew>     two different progress messages while executing the recipes, but I'm
Andrew>     not sure if this is considered poor style or not.  Maybe we're only
Andrew>     supposed to have a single ECHO_* per recipe?
    
I don't feel strongly about this either way.

Tom