The "right" thing to do here would probably be to bump the top-level
configure script up a directory level, so the doc/ subdir can be
autoconfiscated.