Refactoring plugins
[hcoop/domtool2.git] / Makefile
1 all: configDefault/config.sig configDefault/configDefault.sml
2
3 .PHONY: all
4
5 configDefault/config.sig: src/config.sig.header \
6 configDefault/*.cfs src/config.sig.footer
7 cat src/config.sig.header \
8 configDefault/*.cfs \
9 src/config.sig.footer \
10 >configDefault/config.sig
11
12 configDefault/configDefault.sml: src/configDefault.sml.header \
13 configDefault/*.cfg src/configDefault.sml.footer
14 cat src/configDefault.sml.header \
15 configDefault/*.cfg \
16 src/configDefault.sml.footer \
17 >configDefault/configDefault.sml
18