This is an old revision of the document!
<code SQL>
DROP DATABASE database IN “filename” [WITH options]