# $Id: 5bb8ea99c45b2c868dc6e4849a4dbd2b7af027b4 $
# This file lists the files and directories that should be
# added to source dists. Used by bin/export.pike.

/README
/README-CVS
/ANNOUNCE
/CHANGES
/COMMITTERS
/COPYING
/COPYRIGHT
/Makefile
/src
/lib
/bin
/bundles
/man
/packaging
/refdoc/chapters
/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
