From b02a7f0bf66e1c92bb911df9727962fcdb911113 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Wed, 11 Feb 1998 02:19:42 +0100
Subject: [PATCH] Minor change.

Rev: src/Makefile.in:1.58
---
 src/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index e65643b868..637c3cd642 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -182,8 +182,8 @@ install:
 	  if [ -f "$(exec_prefix)/pike" ]; then \
 	    echo Renaming old "$(exec_prefix)/pike" to "$(exec_prefix)/pike.old"; \
 	    mv -f "$(exec_prefix)/pike" "$(exec_prefix)/pike.old"; \
-	  else : fi ; \
-          echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
+	  else : ; fi ; \
+	  echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
 	fi
 	@if [ -f $(SRCDIR)/../bin/hilfe ]; then \
 	  echo ; echo "Installing $(exec_prefix)/hilfe..."; \
-- 
GitLab