1 files changed, 18 insertions, 0 deletions
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 00000000..126a7b7a
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +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" ]