From: panne Date: Fri, 20 Feb 2004 21:21:27 +0000 (+0000) Subject: [project @ 2004-02-20 21:21:27 by panne] X-Git-Tag: Approx_11550_changesets_converted~81 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=bfff14e76f8781c5187b4618f1f6acb9036f3ba9;hp=bfff14e76f8781c5187b4618f1f6acb9036f3ba9;p=ghc-hetmet.git [project @ 2004-02-20 21:21:27 by panne] 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. ---