diff --git a/site/site.hs b/site/site.hs index ac7228e2e..9495f2b30 100755 --- a/site/site.hs +++ b/site/site.hs @@ -45,3 +45,4 @@ symlinkIndexHtml = ensureSiteDir >> system "ln -sf README.html _site/index.html" symlinkProfsDir = ensureSiteDir >> system "ln -sf ../../profs _site/profs" ensureSiteDir = system "mkdir -p _site" +