From 2369090328f9a2313d59a873c20f5ed229ffa3d0 Mon Sep 17 00:00:00 2001 From: Bastien Guerry Date: Fri, 18 May 2012 07:46:25 +0200 Subject: [PATCH] UTILITIES/server.mk: delete whitespaces. --- UTILITIES/server.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/UTILITIES/server.mk b/UTILITIES/server.mk index 8ac69ad6e..67f515534 100644 --- a/UTILITIES/server.mk +++ b/UTILITIES/server.mk @@ -17,12 +17,12 @@ ORGDIR = org-$(GITVERSION) ORGTAR = $(ORGDIR).tar.gz ORGZIP = $(ORGDIR).zip ORGDIST = README Makefile default.mk targets.mk request-assign-future.txt \ - lisp/ etc/ doc/ contrib/ + lisp/ etc/ doc/ contrib/ ORG_MAKE_DOC = info pdf card # do not make HTML documentation for release reltest: cleanall doc autoloads rel-dirty -rel-dirty: +rel-dirty: -@$(RM) $(ORGDIR) $(ORGTAR) $(ORGZIP) ln -s . $(ORGDIR) tar -zcf $(ORGTAR) $(foreach dist, $(ORGDIST), $(ORGDIR)/$(dist))