# HG changeset patch
# User jwe
# Date 745016736 0
# Node ID c63068b25a6318c7446384ed675c3a2083ec92a3
# Parent  e90ea9cbd4dea00bbe54f111b26bdfea150d5199
[project @ 1993-08-10 21:05:36 by jwe]
(defaults.h) Quote substitutions.

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