The value of the variable ADDITIONALTOPLEVELDIRS will be appended to DIRS of the top-level Makefile.nw. This allows to add more top-level directories. For example,
ADDITIONALTOPLEVELDIRS=newdir1 newdir2
|
would add the non-ALLPROSE directories newdir1 and newdir2.