continuing to try to clean up the build to make it less annoying

2011-09-04 18:35:42 -04:00 · 2011-09-04 18:35:42 -04:00 · 910a86c6e5
commit 910a86c6e5
parent 5e3f844b5d
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -41,7 +41,7 @@ cs19-doc:


 setup:
-	raco setup -P dyoo whalesong.plt 1 2
+	raco setup --no-docs -P dyoo whalesong.plt 1 2


 planet-link: