diff options
Diffstat (limited to 'packaging/SGI/idb.pl')
| -rwxr-xr-x | packaging/SGI/idb.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packaging/SGI/idb.pl b/packaging/SGI/idb.pl index cdbddcb590..ba05149509 100755 --- a/packaging/SGI/idb.pl +++ b/packaging/SGI/idb.pl @@ -101,6 +101,7 @@ chdir $curdir; # the "*.doc" files from the source tree @docs = sort byfilename grep (!/^docs\/$/ & (/^source\/.*\.doc$/ | /^docs\//),@allfiles); @docs = grep(!/htmldocs\/using_samba/, @docs); +@docs = grep(!/docbook/, @docs); @swatfiles = sort grep(/^packaging\/SGI\/swat/, @allfiles); @catman = sort grep(/^packaging\/SGI\/catman/ & !/\/$/, @allfiles); |