[project @ 2004-02-20 21:21:27 by panne]
authorpanne <unknown>
Fri, 20 Feb 2004 21:21:27 +0000 (21:21 +0000)
committerpanne <unknown>
Fri, 20 Feb 2004 21:21:27 +0000 (21:21 +0000)
commitbfff14e76f8781c5187b4618f1f6acb9036f3ba9
treec4a1de3d35643e4c61bd0bf6153aed7726f143a5
parent73b9cebbd800a19c55798037c0a3658006c382cb
[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.
ghc/Makefile