[Pkg-ocaml-maint-commits] [aac-tactics] 06/09: Fix installed docs

[Nicolas Braud-Santoni]

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

nicoo-guest pushed a commit to branch master
in repository aac-tactics.

commit a65abda5456ed28de1c5410353eb42f945d92c2d
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 16:29:39 2016 -0400

    Fix installed docs
---
 debian/libaac-tactics-coq.docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/libaac-tactics-coq.docs b/debian/libaac-tactics-coq.docs
index 71dfd5b..e845566 100644
--- a/debian/libaac-tactics-coq.docs
+++ b/debian/libaac-tactics-coq.docs
@@ -1 +1 @@
-README.txt
+README

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