shake: rename site target to website
Fixes a new shake error, perhaps related to https://github.com/ndmitchell/shake/issues/440
This commit is contained in:
parent
a8f80e1bd6
commit
2f130fe10b
6
Shake.hs
6
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
|
||||
|
||||
Loading…
Reference in New Issue
Block a user