Test documentation build only if the 'docs_misc' directory is present.

Changed this from 'docs' since now the distribution has such a directory.
This commit is contained in:
kolev 2008-08-07 19:08:48 +00:00
parent 3521c3f83f
commit 3e8292e8e4

View File

@ -80,8 +80,8 @@ done
./test.sh examples.sh $src_dir/examples
mv -f examples.??? $output_subdir
# Test documentation build (only if 'docs' directory is present)
if [ -d $src_dir/docs ]; then
# Test documentation build (only if 'docs_misc' directory is present)
if [ -d $src_dir/docs_misc ]; then
./test.sh docs.sh $src_dir
mv -f docs.??? $output_dir
fi