Description of the illustration drop_library.eps

DROP LIBRARY [ IF EXISTS ] library_name