The following commit has been merged in the master branch:
commit 73b060954d5122fb47470fc404ce78c7174a706c
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to