2003-01-23 23:21:31 +00:00
|
|
|
global-include *.py
|
|
|
|
|
global-include *.txt
|
2003-02-13 21:09:21 +00:00
|
|
|
global-include *.pdf
|
2003-05-13 00:14:37 +00:00
|
|
|
global-include *.ps
|
|
|
|
|
global-include *.c
|
2003-05-13 08:03:51 +00:00
|
|
|
global-include *.v
|
2003-05-13 00:14:37 +00:00
|
|
|
global-include Makefile
|
2003-06-02 15:20:42 +00:00
|
|
|
global-exclude .cvsignore
|
2003-05-13 00:14:37 +00:00
|
|
|
prune dist
|
2003-06-02 15:20:42 +00:00
|
|
|
prune doc
|
|
|
|
|
graft doc/html
|
|
|
|
|
exclude doc/html/.cvsignore
|
|
|
|
|
include doc/paper-a4/*.pdf
|
|
|
|
|
include doc/paper-a4/*.ps
|
|
|
|
|
include doc/paper-letter/*.pdf
|
|
|
|
|
include doc/paper-letter/*.ps
|
