[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