NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-25 06:33:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

port documentation.json

Browse Source
This commit is contained in:
Brian Hicks 2020-10-28 05:58:17 -05:00
parent aa8d790123
commit 17bb95d83e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Shakefile.hs
View File

@ -61,3 +61,7 @@ main =
removeFilesAfter "node_modules" ["//*"] removeFilesAfter "node_modules" ["//*"]
removeFilesAfter "public" ["//*"] removeFilesAfter "public" ["//*"]
removeFilesAfter "styleguide-app" ["elm.js", "bundle.js", "elm-stuff"] removeFilesAfter "styleguide-app" ["elm.js", "bundle.js", "elm-stuff"]
"logs/documentation.json" %> \out -> do
need ["log/node_modules.txt"]
cmd_ "elm" "make" "--docs" out