diff --git a/bin/export.pike b/bin/export.pike index e71ab8891e353cd8d4c7cab093b498483194cc31..3cb40a1284a62c2a98b2983f2c69f513a7b74671 100755 --- a/bin/export.pike +++ b/bin/export.pike @@ -1,6 +1,6 @@ #! /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 }); diff --git a/src/export_list b/src/export_list index 59859adbf0670c098e058c105805e56a44a3afd4..b12aad65449cdbe9b2252707869ee1cf5a6973d9 100644 --- a/src/export_list +++ b/src/export_list @@ -1,4 +1,4 @@ -# $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