diff options
Diffstat (limited to 'debian/gbp.conf')
-rw-r--r-- | debian/gbp.conf | 50 |
1 files changed, 45 insertions, 5 deletions
diff --git a/debian/gbp.conf b/debian/gbp.conf index 126a7b7a..f9ed7826 100644 --- a/debian/gbp.conf +++ b/debian/gbp.conf @@ -2,17 +2,57 @@ pristine-tar = True filter-pristine-tar = True filter = [ + # Source from the Nullsoft Scriptable Install System wiki, which is not + # licensed. + "dev/build/windows/patches_coq/ReplaceInFile.nsh", + "dev/build/windows/patches_coq/StrRep.nsh", + "dev/nsis/FileAssociation.nsh", + + # Material connected to the reference manual, licensed under the non-free + # Open Publication License. "doc/common/styles/html/coqremote/cover.html", "doc/common/styles/html/coqremote/hevea.css", + "doc/common/styles/html/coqremote/modules", + "doc/common/styles/html/coqremote/sites", "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/RecTutorial", - "doc/faq", "doc/refman", - "doc/rt", - "doc/tools", - "doc/tutorial" ] + "doc/sphinx", + "doc/tools/coqrst/regen_readme.py", + "doc/tools/latex_filter", + "doc/tools/show_latex_messages", + "doc/tools/Translator.tex", + "interp/doc.tex", + "kernel/doc.tex", + "lib/doc.tex", + "library/doc.tex", + "pretyping/doc.tex", + "proofs/doc.tex", + "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", + + # Code with CeCILL-B license headers. bbaren believes CeCILL-B to be + # nonfree; see + # https://lists.debian.org/msgid-search/875zvih02a.jfx@benwick.benjamin.barenblat.name. + # + # These files will be patched in with properly licensed replacements once + # https://github.com/coq/coq/pull/9282 is merged. + "plugins/ssrmatching/ssrmatching.mli", + "plugins/ssrmatching/ssrmatching.v" ] |