[linbox] 10/13: debian/patches/no-install-docs.patch: New patch; do not include INSTALL in documentation.

[Doug Torrance]

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

dtorrance-guest pushed a commit to branch master
in repository linbox.

commit b8d27f811de92ca85379033c29bc98e45b9342f9
Author: Doug Torrance <dtorrance at piedmont.edu>
Date:   Fri Jul 29 18:03:26 2016 -0400

    debian/patches/no-install-docs.patch: New patch;
    do not include INSTALL in documentation.
---
 debian/patches/no-install-docs.patch | 39 ++++++++++++++++++++++++++++++++++++
 debian/patches/series                |  1 +
 2 files changed, 40 insertions(+)

diff --git a/debian/patches/no-install-docs.patch b/debian/patches/no-install-docs.patch
new file mode 100644
index 0000000..0f9aa73
--- /dev/null
+++ b/debian/patches/no-install-docs.patch
@@ -0,0 +1,39 @@
+Description: Do not include INSTALL in documentation.
+ Fixes package-contains-upstream-install-documentation Lintian warning.
+Author: Doug Torrance <dtorrance at piedmont.edu>
+Last-Update: 2016-07-29
+
+--- a/doc/install-dist.html
++++ b/doc/install-dist.html
+@@ -38,7 +38,7 @@
+ 
+     <p><br>
+     <blockquote>
+-      See also <a href="INSTALL">INSTALL</a>.  Once the LinBox
++      Once the LinBox
+       distribution has been downloaded from the <a href="http://www.linalg.org/download.html"> LinBox download section</a>,
+     </blockquote>
+ 
+--- a/doc/mainpage.doxy
++++ b/doc/mainpage.doxy
+@@ -141,8 +139,7 @@
+  * To install from a distribution, the usual <em> configure, make</em> sequence
+  * applies.  See \subpage dist "configuring and installing" for more details.
+  * To install a development version from the SVN repository see the \subpage  dev
+- * "developer info".  The generic Free Software Foundation \subpage INSTALL
+- * "INSTALL" may also be of use.
++ * "developer info".
+  */
+ 
+ /*!  \page arch Architecture of the library
+@@ -191,10 +188,6 @@
+  * \verbinclude "AUTHORS"
+  */
+ 
+-/*!  \page INSTALL The INSTALL in LinBox
+- * \verbinclude "INSTALL"
+- */
+-
+ /*!  \page dist Configuring and Installing LinBox
+  * \htmlinclude "doc/install-dist.html"
+  */
diff --git a/debian/patches/series b/debian/patches/series
index a494a55..4ea7ce5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ example.patch
 soname.patch
 fix-doc-path.patch
 fix-RR-RecCounter.patch
+no-install-docs.patch

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