From 2f130fe10b392da75ac881e3e7bbca172ee35533 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 28 May 2016 12:10:51 -0700 Subject: [PATCH] shake: rename site target to website Fixes a new shake error, perhaps related to https://github.com/ndmitchell/shake/issues/440 --- Shake.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Shake.hs b/Shake.hs index 4d9359b29..ca817c18f 100755 --- a/Shake.hs +++ b/Shake.hs @@ -44,7 +44,7 @@ usage = [i|Usage: ./Shake # show commands ./Shake all # generate everything ./Shake docs # generate general docs - ./Shake site # generate the web site + ./Shake website # generate the web site ./Shake manpages # generate nroff files for man ./Shake txtmanpages # generate text man pages for embedding ./Shake infomanpages # generate info files for info @@ -81,7 +81,7 @@ main = do cmd "stack ghc Shake.hs" :: Action ExitCode putLoud "Compiled ./Shake, you can now use this instead of ./Shake.hs" - phony "all" $ need ["docs", "site"] + phony "all" $ need ["docs", "website"] -- docs @@ -189,7 +189,7 @@ main = do -- web site - phony "site" $ do + phony "website" $ do need $ webmanpages ++ [webmanual