path in AllDut now contains api to enable compilation from scratch; this is so for all languages with Documentation

This commit is contained in:
aarne
2014-06-07 08:36:52 +00:00
parent 0bbf7b4581
commit ba007eb2dd

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../api
concrete AllDut of AllDutAbs =
LangDut,