# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1357247599 18000
# Node ID fa2beb4c25a514ecacc1b62eb6fa6a177296e539
# Parent  30a5052213e6fcc3804847a9bc8d74b5a2bcbcdd
use separate DESTDIRs for octave-stable and octave

diff -r 30a5052213e6 -r fa2beb4c25a5 src/octave-stable.mk
--- a/src/octave-stable.mk	Thu Jan 03 15:48:04 2013 -0500
+++ b/src/octave-stable.mk	Thu Jan 03 16:13:19 2013 -0500
@@ -28,5 +28,5 @@
     ## location set by the configure --prefix option, and the other
     ## in a directory tree that will have just Octave files.
     $(MAKE) -C '$(1)/.build' -j '$(JOBS)' install
-    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' DESTDIR=$(PREFIX)/../octave install
+    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' DESTDIR=$(PREFIX)/../octave-stable install
 endef