1 files changed, 16 insertions, 0 deletions
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" ]