diff --git a/lib/resource/Make.hs b/lib/resource/Make.hs index 854c0ca52..b5573b96a 100644 --- a/lib/resource/Make.hs +++ b/lib/resource/Make.hs @@ -129,7 +129,7 @@ treeb abstr ls = "rf -lines -tree -file=" ++ treebankExx ++ demos abstr ls = "gr -number=100 | l -treebank " ++ unlexer abstr ls ++ " | ps -to_html | wf -file=resdemo.html" -lang (lla,la) = lla ++ "/Lang" ++ la ++ ".gf" +lang (lla,la) = lla ++ "/All" ++ la ++ ".gf" try (lla,la) = "api/Try" ++ la ++ ".gf" math (lla,la) = "mathematical/Mathematical" ++ la ++ ".gf" symbolic (lla,la) = "mathematical/Symbolic" ++ la ++ ".gf"