From 72deb90ec0aca34501f0476c013e2cee7ccd1f2a Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 20 Aug 2012 18:18:30 +0200 Subject: Use filter-pristine-tar and change versioning scheme --- debian/gbp.conf | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'debian/gbp.conf') diff --git a/debian/gbp.conf b/debian/gbp.conf index cec628c7..126a7b7a 100644 --- a/debian/gbp.conf +++ b/debian/gbp.conf @@ -1,2 +1,18 @@ [DEFAULT] pristine-tar = True +filter-pristine-tar = True +filter = [ + "doc/common/styles/html/coqremote/cover.html", + "doc/common/styles/html/coqremote/hevea.css", + "doc/common/styles/html/coqremote/styles.hva", + "doc/common/styles/html/simple/cover.html", + "doc/common/styles/html/simple/hevea.css", + "doc/common/styles/html/simple/styles.hva", + "doc/common/macros.tex", + "doc/common/title.tex", + "doc/RecTutorial", + "doc/faq", + "doc/refman", + "doc/rt", + "doc/tools", + "doc/tutorial" ] -- cgit v1.2.3 From ab08ae9f0f944d9f801c44e4ffd3e6b7fcf4b024 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 20 Aug 2012 18:25:30 +0200 Subject: Use experimental branches --- debian/gbp.conf | 2 ++ 1 file changed, 2 insertions(+) (limited to 'debian/gbp.conf') diff --git a/debian/gbp.conf b/debian/gbp.conf index 126a7b7a..68cfceb8 100644 --- a/debian/gbp.conf +++ b/debian/gbp.conf @@ -16,3 +16,5 @@ filter = [ "doc/rt", "doc/tools", "doc/tutorial" ] +upstream-branch=experimental/upstream +debian-branch=experimental/master -- cgit v1.2.3