1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
29
  
30
  
31
  
# This file lists the files and directories that should be 
# added to source dists. Used by bin/export.pike. 
 
/README 
/README-GIT 
/ANNOUNCE 
/CHANGES 
/COMMITTERS 
/COPYING 
/COPYRIGHT 
/Makefile 
/src 
/lib 
/bin 
/man 
/packaging 
/refdoc/chapters 
/refdoc/doxfilter.sh 
/refdoc/doxygen.cfg 
/refdoc/presentation 
/refdoc/src_images 
/refdoc/structure 
/refdoc/Makefile 
/refdoc/inlining.txt 
/refdoc/keywords.txt 
/refdoc/syntax.txt 
/refdoc/tags.txt 
/refdoc/template.xsl 
/refdoc/xml.txt 
/tools