[Pkg-ocaml-maint-commits] [mathcomp] 09/13: Update documentation pathes

[Nicolas Braud-Santoni]

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

nicoo-guest pushed a commit to branch v1.6/master
in repository mathcomp.

commit e84cf266a381fd968d97e110009dca9db3abed64
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Fri Jul 22 15:39:00 2016 -0400

    Update documentation pathes
---
 debian/libmathcomp-coq.doc-base | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/libmathcomp-coq.doc-base b/debian/libmathcomp-coq.doc-base
index ac8dc3a..698afa1 100644
--- a/debian/libmathcomp-coq.doc-base
+++ b/debian/libmathcomp-coq.doc-base
@@ -5,5 +5,5 @@ Abstract: This is the coqdoc-generated documentation for mathcomp
 Section: Science/Mathematics
 
 Format: HTML
-Index: /usr/share/doc/libmathcomp-coq/html/index.html
-Files: /usr/share/doc/libmathcomp-coq/html/*.html
+Index: /usr/share/doc/libmathcomp-coq/htmldoc/index.html
+Files: /usr/share/doc/libmathcomp-coq/htmldoc/*.html

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