;shake: don't regenerate dir for now (fix)
This commit is contained in:
parent
003391e102
commit
48b8dd9be7
2
Shake.hs
2
Shake.hs
@ -492,7 +492,7 @@ main = do
|
|||||||
-- need infomanuals
|
-- need infomanuals
|
||||||
-- forM_ infomanuals $ \info -> cmd_ Shell "install-info" info out
|
-- forM_ infomanuals $ \info -> cmd_ Shell "install-info" info out
|
||||||
|
|
||||||
phony "infomanuals" $ need $ infomanuals ++ [infodir]
|
phony "infomanuals" $ need $ infomanuals -- ++ [infodir]
|
||||||
|
|
||||||
-- WEBSITE MARKDOWN SOURCE
|
-- WEBSITE MARKDOWN SOURCE
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user