# HG changeset patch
# User jwe
# Date 774909149 0
# Node ID 2c8bd0a5a5b2825a8c286ec58e1eb28992c8e2ae
# Parent  95ee5e3301799c1a1faeaee01519c24fb893ca09
[project @ 1994-07-22 20:32:29 by jwe]

diff -r 95ee5e330179 -r 2c8bd0a5a5b2 doc/interpreter/Makefile.in
--- a/doc/interpreter/Makefile.in	Fri Jul 22 20:17:58 1994 +0000
+++ b/doc/interpreter/Makefile.in	Fri Jul 22 20:32:29 1994 +0000
@@ -107,7 +107,7 @@
 	-e "s;%OCTAVE_VERSION%;$$version_val;" \
 	-e "s;%OCTAVE_HOME%;${prefix};")
 	@if test "$(srcdir)" = "." ; then \
-	  $(srcdir)/../src/move-if-change conf.texi.tmp conf.texi; \
+	  $(top_srcdir)/move-if-change conf.texi.tmp conf.texi; \
 	else \
 	  if cmp conf.texi.tmp $(srcdir)/conf.texi > /dev/null; then \
 	    echo conf.texi is unchanged; \