Location and Directory

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/Makefile
index 4f173d4..7964314 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,10 @@ all: configDefault/config.sig configDefault/configDefault.sml
 .PHONY: all
 
 configDefault/config.sig: src/config.sig.header \
-               configDefault/*.cfs src/config.sig.footer
-       cat src/config.sig.header \
+               configDefault/*.csg configDefault/*.cfs \
+               src/config.sig.footer
+       cat configDefault/*.csg \
+               src/config.sig.header \
                configDefault/*.cfs \
                src/config.sig.footer \
                >configDefault/config.sig