[PATCH 1/4] gdb/doc: don't delete *.pod files too early

[Tom Tromey]

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

Andrew> After this commit running 'make -C gdb/doc man' will build the manual
Andrew> pages the first time, and each subsequent run will do nothing.

Andrew> Running 'make -C gdb/doc mostlyclean' will now delete the .pod files.

This looks good to me.
Approved-By: Tom Tromey <tom@tromey.com>

Tom