blob: c02e2f7cb2c6535baea50d7816ca18a7431d78a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[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" ]
debian-branch = sid/master
upstream-branch = sid/upstream
|