[Reproducible-commits] [discount] 104/121: Enable both Discount and Extra definition lists

Jérémy Bobbio lunar at moszumanska.debian.org
Tue Sep 23 20:56:22 UTC 2014


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

lunar pushed a commit to branch pu/reproducible_builds
in repository discount.

commit 903f34c2972789665d855bcf238fb595d558283c
Author: Alessandro Ghedini <alessandro at ghedini.me>
Date:   Sun Apr 28 22:01:25 2013 +0200

    Enable both Discount and Extra definition lists
    
    Closes: #705732
---
 debian/rules | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 77572a8..9d89a57 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,7 +10,8 @@ override_dh_auto_configure:
 	./configure.sh --shared    \
 		--with-id-anchor   \
 		--with-github-tags \
-		--with-fenced-code
+		--with-fenced-code \
+		--with-dl=both
 
 override_dh_auto_install:
 	dh_install

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/discount.git



More information about the Reproducible-commits mailing list