[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 8dd1802846b1f7a2304c7e63b2cf907d70f14fe1
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 11:44:01 2008 +0200

    Fix typo in README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
index 685f604..d91bc55 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -28,7 +28,7 @@ Note that all bytecode files in this package need to be left
 'unstripped' after compiling. The reason is the following:
 
   It is possible to strip the .out corresponding to ocaml code compiled in
-  native code (and it is done in Coq (coqopt.out) When compiling in
+  native code (and it is done in Coq (coqopt.out)). When compiling in
   byte-code, the Coq system uses the -custom option in order to get an
   autonomous executable (running independently of an ocaml implementation on
   your computer). The way it works is that the .out file is composed of the

-- 
coq packaging