blob: 68cfceb80bca0101ab9ae088ab934d1d8cba53e3 (
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" ]
upstream-branch=experimental/upstream
debian-branch=experimental/master
|