Delete document library option missing on settings page

You can’t delete a document library if it contains records.  This is a sensible feature considering that documents declared as records would logically have some retention requirement…

To delete:

1. Undeclare your records or move them to another location
1. If you’re working with a large document library with many folders etc. you could create a “Records View”, by filtering out any documents where the “Declared Record” field is not blank:
2. 
3. When all are deleted/moved, the delete option appears again in the settings page
2. Delete the document library