1 all: configDefault
/config.sig configDefault
/configDefault.sml
5 configDefault
/config.sig
: src
/config.sig.header \
6 configDefault
/*.csg configDefault
/*.cfs \
8 cat configDefault
/*.csg \
9 src
/config.sig.header \
11 src
/config.sig.footer \
12 >configDefault
/config.sig
14 configDefault
/configDefault.sml
: src
/configDefault.sml.header \
15 configDefault
/*.cfg src
/configDefault.sml.footer
16 cat src
/configDefault.sml.header \
18 src
/configDefault.sml.footer \
19 >configDefault
/configDefault.sml