[Pkg-ocaml-maint-commits] r5715 - in /trunk/packages/why/trunk/debian: changelog links patches/00list patches/logopath.dpatch rules

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

Author: dogguy-guest
Date: Thu May 29 07:57:05 2008
New Revision: 5715

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5715
Log:

  * Move logo in /usr/share/why
    - Add patch logopath.dpatch to find the logo's new location
  * Add manpage for gwhy-bin
  * Correct manpage location for krakatoa


Added:
    trunk/packages/why/trunk/debian/patches/logopath.dpatch   (with props)
Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/links
    trunk/packages/why/trunk/debian/patches/00list
    trunk/packages/why/trunk/debian/rules

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=5715&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Thu May 29 07:57:05 2008
@@ -1,3 +1,12 @@
+why (2.13-2) UNRELEASED; urgency=low
+
+  * Move logo in /usr/share/why
+    - Add patch logopath.dpatch to find the logo's new location
+  * Add manpage for gwhy-bin
+  * Correct manpage location for krakatoa
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 29 May 2008 09:47:29 +0200
+
 why (2.13-1) unstable; urgency=low
 
   * New upstream release.

Modified: trunk/packages/why/trunk/debian/links
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/links?rev=5715&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/links (original)
+++ trunk/packages/why/trunk/debian/links Thu May 29 07:57:05 2008
@@ -7,4 +7,5 @@
 usr/share/man/man1/why.1.gz usr/share/man/man1/why-obfuscator.1.gz
 usr/share/man/man1/why.1.gz usr/share/man/man1/why-stat.1.gz
 usr/share/man/man1/why.1.gz usr/share/man/man1/why2html.1.gz
-usr/share/man/man1/why.1.gz usr/share/man/man1/krakatoa1.1.gz
+usr/share/man/man1/why.1.gz usr/share/man/man1/krakatoa.1.gz
+usr/share/man/man1/why.1.gz usr/share/man/man1/gwhy-bin.1.gz

Modified: trunk/packages/why/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/00list?rev=5715&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/00list (original)
+++ trunk/packages/why/trunk/debian/patches/00list Thu May 29 07:57:05 2008
@@ -1,1 +1,2 @@
 configure
+logopath

Added: trunk/packages/why/trunk/debian/patches/logopath.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/logopath.dpatch?rev=5715&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/patches/logopath.dpatch (added)
+++ trunk/packages/why/trunk/debian/patches/logopath.dpatch Thu May 29 07:57:05 2008
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## logopath.dpatch by  <dogguy at pps.jussieu.fr>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad trunk~/intf/pprinter.ml trunk/intf/pprinter.ml
+--- trunk~/intf/pprinter.ml	2008-05-28 16:55:38.000000000 +0200
++++ trunk/intf/pprinter.ml	2008-05-29 09:32:35.000000000 +0200
+@@ -169,7 +169,7 @@
+ 	  b#set_text (banner());
+ 	  begin
+ 	    try
+-	      let why_logo_image = Options.lib_file "why-logo-1.png" in
++	      let why_logo_image = "/usr/share/why/why-logo-1.png" in
+ 	      let why_logo = GdkPixbuf.from_file why_logo_image in
+ 	      b#insert_pixbuf ~iter:b#start_iter ~pixbuf:why_logo 
+ 	    with _ -> 

Propchange: trunk/packages/why/trunk/debian/patches/logopath.dpatch
------------------------------------------------------------------------------
    svn:executable = *

Modified: trunk/packages/why/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/rules?rev=5715&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/rules (original)
+++ trunk/packages/why/trunk/debian/rules Thu May 29 07:57:05 2008
@@ -61,6 +61,8 @@
 	$(MAKE) prefix=$(CURDIR)/debian/why/usr install COQLIB=$(CURDIR)/debian/why/usr/lib/coq
 	rm -f $(CURDIR)/debian/why/usr/bin/cpulimit
 	mv $(CURDIR)/debian/why/usr/bin/dp $(CURDIR)/debian/why/usr/bin/why-dp
+	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
 
 # Build architecture-independent files here.
 binary-indep: build install