diff options
author | James O'Gorman <james@netinertia.co.uk> | 2008-10-27 21:17:03 +0000 |
---|---|---|
committer | James O'Gorman <james@netinertia.co.uk> | 2008-10-27 21:17:03 +0000 |
commit | e2750aba48a6e6e7138e89e4faedb7373a0ad9fa (patch) | |
tree | ba94cd82864abbdfb25c452900eeb4fe55545972 /infrastructure/makedistribution.pl.in | |
parent | fd02f8f69632fe4aab11b076fb9296571dcfdf1c (diff) |
Update distribution generator.
Diffstat (limited to 'infrastructure/makedistribution.pl.in')
-rwxr-xr-x | infrastructure/makedistribution.pl.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/infrastructure/makedistribution.pl.in b/infrastructure/makedistribution.pl.in index 2ef8b960..32566eb2 100755 --- a/infrastructure/makedistribution.pl.in +++ b/infrastructure/makedistribution.pl.in @@ -332,7 +332,11 @@ sub copy_dir next if m/\AMakefile\Z/; next if m/\Aautogen/; next if m/-smf-method\Z/; # copy only the .in versions - next if m/-manifest.xml\Z/; # copy onlt the .in versions + next if m/-manifest.xml\Z/; # copy only the .in versions + if($dir eq 'docs') { + next if m/.(x[sm]l|tmpl)\Z/; # don't include doc sources + next if m/generate_except_xml.pl/; + } next if !-f "$dir/$_"; copy_file("$dir/$_","$dst_dir/$_"); |