# $Id: export_list,v 1.4 2002/12/05 20:08:59 nilsson Exp $
# This file lists the files and directories that should be
# added to source dists. Used by bin/export.pike.

/README
/README-CVS
/ANNOUNCE
/COPYING
/COPYRIGHT
/Makefile
/src
/lib
/bin
/man
/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
