[singular] 06/14: Remove includedir option.

[Tobias Hansen]

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

thansen pushed a commit to branch master3-sage
in repository singular.

commit 5f5c73ae969862eb71498c5bae9f2e01985717c5
Author: Tobias Hansen <thansen at debian.org>
Date:   Thu Jul 7 21:02:50 2016 +0000

    Remove includedir option.
---
 debian/rules | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index c9877b5..88cae38 100755
--- a/debian/rules
+++ b/debian/rules
@@ -30,7 +30,6 @@ DEB_CONFIGURE_EXTRA_FLAGS += --prefix=$(CURDIR)/debian/tmp \
                              --exec-prefix=$(CURDIR)/debian/tmp \
                              --bindir=$(CURDIR)/debian/tmp/bin \
                              --libdir=$(CURDIR)/debian/tmp/lib \
-                             --includedir=/usr/include \
                              --with-apint=gmp \
                              --with-factory=$(CURDIR)/factory \
                              --with-gmp=/usr/lib \

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