Searched refs:FIND_DOC_FILES (Results 1 – 1 of 1) sorted by relevance
82 FIND_DOC_FILES=`find $FIND_DOC_PKG -type f`83 if [ -z "$FIND_DOC_FILES" ]; then91 echo "$FIND_DOC_FILES" >> "$REPORT_DOC_DETAIL"