Reverted previous commit, it was fixing things in the wrong place: When e.g.
"make dvi" is issued, we should *always* descend into the docs directory.
Generally, the SGMLDocWays-handling seems to be a bit a wrong: We should not
change how make descends down the hierarchy, but should make it a no-op when
nothing should/can be done.