[petsc] 01/01: link include/petsc/finclude docs to headers

[Drew Parsons]

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

dparsons pushed a commit to branch master
in repository petsc.

commit 96b1015cb1ff47057c18c92f5019077f0df55334
Author: Drew Parsons <dparsons at debian.org>
Date:   Tue Nov 29 15:48:19 2016 +0800

    link include/petsc/finclude docs to headers
    
    don't mix up include with finclude
---
 debian/changelog | 6 ++++++
 debian/rules     | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index c152c37..7b57f6d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+petsc (3.7.4+dfsg1-7) UNRELEASED; urgency=medium
+
+  * link include/petsc/finclude docs to headers
+
+ -- Drew Parsons <dparsons at debian.org>  Tue, 29 Nov 2016 15:47:33 +0800
+
 petsc (3.7.4+dfsg1-6) unstable; urgency=medium
 
   * debian/rules: only manipulate header docs when the doc package is
diff --git a/debian/rules b/debian/rules
index d356aff..6f0f135 100755
--- a/debian/rules
+++ b/debian/rules
@@ -271,7 +271,7 @@ override_dh_installdocs:
 	# make header docs "generic" (pointing to headers in preferred alternative /usr/include/petsc)  \
 	  for hdoc in `find ./debian/$(PETSC_DOC_PACKAGE)/usr/share/doc/$(PETSC_DOC_PACKAGE)/include/ -name "*.html"`; do  \
 	    h=`echo $${hdoc} | xargs basename | sed "s/.html//"`; \
-	    hdir=`echo $${hdoc} | xargs dirname | sed "s|^.*include||"`; \
+	    hdir=`echo $${hdoc} | xargs dirname | sed "s|^.*/include||"`; \
 	    sed "s|href=\"$${h}\"|href=\"/usr/include/petsc$${hdir}/$${h}\"|" -i $${hdoc};  \
 	  done  \
 	fi

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/petsc.git