From 772c7f38a15faa256d0652a066b641fea0ae9847 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 --- src/dutch/AllDut.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dutch/AllDut.gf b/src/dutch/AllDut.gf index 5397513f8..adc79c0f0 100644 --- a/src/dutch/AllDut.gf +++ b/src/dutch/AllDut.gf @@ -1,4 +1,4 @@ ---# -path=.:../abstract:../common:prelude +--# -path=.:../abstract:../common:../api concrete AllDut of AllDutAbs = LangDut,