# HG changeset patch
# User jwe
# Date 745015119 0
# Node ID 1d4cfd89ebb632712b68b482b5576ba3c6098b2f
# Parent  cd2ad07bdde96721bd2b3d65afbd7a1a1a683b3d
[project @ 1993-08-10 20:38:39 by jwe]

diff --git a/src/Makefile.in b/src/Makefile.in
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -158,7 +158,7 @@
 
 defaults.h: ../Makeconf defaults.h.in
 	@echo "Making defaults.h from defaults.h.in..."
-	(sed < $(srcdir)/defaults.h.in > defaults.h.tmp \
+	@(sed < $(srcdir)/defaults.h.in > defaults.h.tmp \
 	-e 's;%DEFAULT_PAGER%;${DEFAULT_PAGER};' \
 	-e 's;%OCTAVE_HOME%;${prefix};')
 	@$(srcdir)/move-if-change defaults.h.tmp defaults.h