[Reproducible-commits] [discount] 50/121: Manually enable additional features: id anchor, github tags, fenced code

Jérémy Bobbio lunar at moszumanska.debian.org
Tue Sep 23 20:56:16 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 59c140c86a96ebfee56f3b636fa6015f6540fe9f
Author: Alessandro Ghedini <al3xbio at gmail.com>
Date:   Wed Sep 28 16:48:41 2011 +0200

    Manually enable additional features: id anchor, github tags, fenced code
---
 debian/rules | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 0f173e7..c20742a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,7 +5,11 @@
 	dh $@
 
 override_dh_auto_configure:
-	./configure.sh --shared --enable-all-features
+	./configure.sh --shared    \
+		--with-id-anchor   \
+		--with-github-tags \
+		--with-fenced-code \
+		--enable-all-features
 
 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