doc/Makefile: Don't insist on using /bin/bash

Fix `make doc` for systems that don't have `/bin/bash`.  There's no bash-specific code in `doc/Makefile` anymore.