From ba007eb2dd2bd03f1ea908fcdae96b3b80986626 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 7 Jun 2014 08:36:52 +0000 Subject: [PATCH] path in AllDut now contains api to enable compilation from scratch; this is so for all languages with Documentation --- lib/src/dutch/AllDut.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/dutch/AllDut.gf b/lib/src/dutch/AllDut.gf index 5397513f8..adc79c0f0 100644 --- a/lib/src/dutch/AllDut.gf +++ b/lib/src/dutch/AllDut.gf @@ -1,4 +1,4 @@ ---# -path=.:../abstract:../common:prelude +--# -path=.:../abstract:../common:../api concrete AllDut of AllDutAbs = LangDut,