[Pkg-ocaml-maint-commits] [coq] 05/05: Update README.Debian (Closes: #680248)

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit e3ef7f22f8ca1549633371e1f6fa14ae2e27546d
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jan 19 15:12:15 2014 +0100

    Update README.Debian (Closes: #680248)
---
 debian/README.Debian | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/README.Debian b/debian/README.Debian
index 7e9997a..55825cf 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -14,7 +14,9 @@ Coq frontends
 For interactive use of coqtop, we suggest
  - a readline editor, such as ledit or rlwrap (or anything that provides the
    readline-editor virtual packages);
- - or the Proof-General (x)emacs mode, available in the proofgeneral-coq
+ - or the Proof-General (x)emacs mode, available in the proofgeneral
    package.
 
 However, we recommend you to use the CoqIde GTK+ interface provided in coqide.
+
+ -- Stéphane Glondu <glondu at debian.org>, Sun, 19 Jan 2014 15:11:59 +0100

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git