-
sven.panne@aedion.de authored
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.
bfff14e7