# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1355324029 18000
# Node ID 0868a3b5e3e4e0853d8b3ab03e778abcef001476
# Parent  a8d755194a287642be743f8c6bdfd0be4c4faea0
also install octave files in separate destdir

diff -r a8d755194a28 -r 0868a3b5e3e4 src/octave.mk
--- a/src/octave.mk	Wed Dec 12 09:45:33 2012 -0500
+++ b/src/octave.mk	Wed Dec 12 09:53:49 2012 -0500
@@ -32,5 +32,6 @@
         FLTK_CONFIG="$(PREFIX)/bin/$(TARGET)-fltk-config" \
         gl_cv_func_gettimeofday_clobber=no
 
+    $(MAKE) -C '$(1)/.build' -j '$(JOBS)' DESTDIR=$(PREFIX)/../octave install
     $(MAKE) -C '$(1)/.build' -j '$(JOBS)' install
 endef