MyWorlds/ManagingWorlds/37 [en]

To delete a world from disk permanently, use /world delete worldname. The worldname must be completely accurate. Name matching is not used, since deleting the wrong world would become possible then. You need the right permissions to do this in-game, you can always do this through the console.