Fix some target errors that were hosing the doc/ make.
4 files changed