[petsc] 01/01: link include/petsc/finclude docs to headers
Drew Parsons
dparsons at moszumanska.debian.org
Tue Nov 29 07:49:53 UTC 2016
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
More information about the debian-science-commits
mailing list