From 3a2fac7bcee36fd9dcb4f39a615c8ac0349abcc9 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 2 Feb 2019 18:59:45 -0500 Subject: Prepare gbp to import 8.9.0 8.9.0 deleted some files under non-DFSG-free licenses, so we no longer need to filter out those files when importing. --- debian/gbp.conf | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/debian/gbp.conf b/debian/gbp.conf index 92f87323..e7255ba1 100644 --- a/debian/gbp.conf +++ b/debian/gbp.conf @@ -17,12 +17,9 @@ filter = [ "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/modules", - "doc/common/styles/html/simple/sites", "doc/common/styles/html/simple/styles.hva", "doc/common/macros.tex", "doc/common/title.tex", - "doc/refman", "doc/sphinx", "doc/tools/coqrst/regen_readme.py", "doc/tools/latex_filter", @@ -37,13 +34,6 @@ filter = [ "tactics/doc.tex", "vernac/doc.tex", - # The Coq Tutorial, licensed under the non-free Open Publication License. - "doc/tutorial", - - # The Tutorial on [Co-]Inductive Types, licensed under the non-free Open - # Publication License. - "doc/RecTutorial", - # Fonts licensed under the non-free Ubuntu Font Licence. "doc/tools/coqrst/notations/CoqNotations.ttf", "doc/tools/coqrst/notations/UbuntuMono-B.ttf", -- cgit v1.2.3