util/process_docs.pl: handle multiple source directories correctly