"Michael C. Richardson" writes:
>   Going into /usr/src/gnu/usr.bin/gdb, I discover that they aren't built
> there at all.

If they are to be built, they have to be built in gnu/usr.bin, not in
gnu/dist.

>   Going into /usr/src/gnu/dist/gdb/doc, I realize that I need to run

Perry