diff --git a/Tools/GNUmakefile b/Tools/GNUmakefile
index a04a03f60..d00f0f1bb 100644
--- a/Tools/GNUmakefile
+++ b/Tools/GNUmakefile
@@ -60,11 +60,12 @@ HEADERS = gdomap.h gdnc.h
 DIST_FILES = GNUmakefile Makefile.preamble Makefile.postamble \
 $(SOURCES) $(HEADERS)
 
--include Makefile.preamble
+include Makefile.preamble
 
--include GNUmakefile.local
+include GNUmakefile.local
 
 include $(GNUSTEP_MAKEFILES)/objc.make
 include $(GNUSTEP_MAKEFILES)/tool.make
 
--include Makefile.postamble
+include Makefile.postamble
+
diff --git a/Tools/Makefile.postamble b/Tools/Makefile.postamble
index 098c45024..abdee7611 100644
--- a/Tools/Makefile.postamble
+++ b/Tools/Makefile.postamble
@@ -19,9 +19,9 @@
 
 # Things to do after installing
 after-install::
-        @for file in $(DTD_FILES); do \
-          $(INSTALL_DATA) $$file $(dtddir)/$$file ; \
-        done; \
+	for file in $(DTD_FILES); do \
+	  $(INSTALL_DATA) $$file $(dtddir)/$$file; \
+	done; \
 	if [ "`whoami`" != "root" ]; then \
 	  echo ""; \
 	  echo "************************************************************"; \