Fixed bug notified by Marek Habersack.

refdoc/chapters should be included rather than refdoc/not_extracted

Rev: bin/export.pike:1.51
Rev: src/export_list:1.3

bin/export.pike

 #! /usr/bin/env pike
 
-/* $Id: export.pike,v 1.50 2002/04/21 01:41:07 nilsson Exp $ */
+/* $Id: export.pike,v 1.51 2002/04/28 13:28:54 mikael%brandstrom.org Exp $ */
 
 multiset except_modules = (<>);
 string vpath;
@@ -115,7 +115,8 @@ array(string) build_file_list(string vpath, string list_file)
 	continue;
       werror("%O\n",line);
       string name=vpath+line;
-      if(file_stat(name)->isdir)
+      Stdio.Stat fs;
+      if((fs = file_stat(name)) && fs->isdir)
 	ret += get_files(name);
       else
 	ret += ({ name });

src/export_list

-# $Id: export_list,v 1.2 2002/04/21 01:41:23 nilsson Exp $
+# $Id: export_list,v 1.3 2002/04/28 13:28:54 mikael%brandstrom.org Exp $
 # This file lists the files and directories that should be
 # added to source dists. Used by bin/export.pike.
 
@@ -13,7 +13,7 @@
 /bin
 /man
 /refdoc/bin
-/refdoc/not_extracted
+/refdoc/chapters
 /refdoc/presentation
 /refdoc/src_images
 /refdoc/structure
@@ -24,4 +24,3 @@
 /refdoc/tags.txt
 /refdoc/template.xsl
 /refdoc/xml.txt
-/refdoc/.cvsignore