[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-4-9-g73b0609

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 73b060954d5122fb47470fc404ce78c7174a706c
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jul 3 21:41:19 2011 +0200

    fix filename in Makefile of japanese example

diff --git a/debian/examples/japanese/Makefile b/debian/examples/japanese/Makefile
index 0f4c0f4..dd79dee 100644
--- a/debian/examples/japanese/Makefile
+++ b/debian/examples/japanese/Makefile
@@ -6,7 +6,7 @@ MLPROG=
 all: $(DVIFILES) 
 
 show: $(DVIFILES) 
-	advi basic.dvi 
+	advi simple.dvi 
 
 dvi : $(DVIFILES)
 

-- 
advi packaging