[SCM] UNNAMED PROJECT branch, master, updated. 7ecb029dfe447fab7886e0747aef509e765cabf1

[Lionel Elie Mamane]

The following commit has been merged in the master branch:
commit 7ecb029dfe447fab7886e0747aef509e765cabf1
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Wed Aug 13 01:52:47 2008 +0200

    move heap build logs to /usr/lib, too

diff --git a/debian/rules b/debian/rules
index 151dc48..6aeb300 100755
--- a/debian/rules
+++ b/debian/rules
@@ -75,7 +75,7 @@ install: build
 	  mkdir -p debian/$${pkgname}/usr/lib/isabelle/$(HEAPS)/log; \
 	  mkdir -p debian/$${pkgname}/usr/share/lintian/overrides; \
 	  cp $(HEAPS)/$${isaname} debian/$${pkgname}/usr/lib/isabelle/$(HEAPS)/; \
-	  cp $(HEAPS)/log/$${isaname}.gz debian/$${pkgname}/usr/share/isabelle/$(HEAPS)/log/; \
+	  cp $(HEAPS)/log/$${isaname}.gz debian/$${pkgname}/usr/lib/isabelle/$(HEAPS)/log/; \
 	  echo -e "$${pkgname}: menu-icon-missing /usr/share/pixmaps/isabelle.xpm\n$${pkgname}: menu-command-not-in-package" > debian/$${pkgname}/usr/share/lintian/overrides/$${pkgname}; \
 	  echo -e "?package($${pkgname}):needs=\"X11\" section=\"Applications/Science/Mathematics\" title=\"Isabelle ($${isaname})\" command=\"/usr/bin/Isabelle -l $${isaname}\" icon=\"/usr/share/pixmaps/isabelle.xpm\"" >> debian/$${pkgname}.menu; \
 	  \

-- 
UNNAMED PROJECT