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.
Merge pull request #261 from weiss/no-bash

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