[Pkg-ocaml-maint-commits] r5994 - /trunk/packages/why/trunk/debian/rules

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Wed Sep 17 17:32:38 2008
New Revision: 5994

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5994
Log:
Installing .vo files in /usr/lib/coq/user-contrib, bug: #498713

Modified:
    trunk/packages/why/trunk/debian/rules

Modified: trunk/packages/why/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/rules?rev=5994&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/rules (original)
+++ trunk/packages/why/trunk/debian/rules Wed Sep 17 17:32:38 2008
@@ -58,6 +58,7 @@
 	dh_clean -k
 	dh_installdirs
 
+	mkdir -p $(CURDIR)/debian/why/usr/lib/coq
 	$(MAKE) prefix=$(CURDIR)/debian/why/usr install COQLIB=$(CURDIR)/debian/why/usr/lib/coq
 	mkdir -p $(CURDIR)/debian/why/usr/share/why
 	mv $(CURDIR)/debian/why/usr/lib/why/why-logo-1.png $(CURDIR)/debian/why/usr/share/why