[Home] [prev] [up] [next]     ((Makefile.def))

5.3 Adding New Directories

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.

32⟨add new directories 32⟩≡   (21)
ADDITIONALTOPLEVELDIRS=

Defines:
ADDITIONALTOPLEVELDIRS, never used.

[Home] [prev] [up] [next]     ((Makefile.def))