Replaced

diff --git a/src/dom/makefile.in b/src/dom/makefile.in
new file mode 100644 (file)
index 0000000..857ab7c
--- /dev/null
+++ b/src/dom/makefile.in
@@ -0,0 +1,17 @@
+# Convenience stub makefile to call the real Makefile.\r
+\r
+@SET_MAKE@\r
+\r
+# Explicit so that it's the default rule.\r
+all:\r
+       cd .. && $(MAKE) dom/all\r
+\r
+clean %.a %.o:\r
+       cd .. && $(MAKE) dom/$@\r
+\r
+.PHONY: all clean\r
+\r
+OBJEXT = @OBJEXT@\r
+\r
+.SUFFIXES:\r
+.SUFFIXES: .a .$(OBJEXT)\r