blob: 126a7b7a40accdcf4477127b0a97eefc503caca6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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" ]
|
