use place_to_be_deleted when force deleting objects

[nominatim.git] / docs / mkdocs.yml

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index ab7dec30508838bc9e2c56c094686e8d186140cc..eb624d8bd18973b67269e9f6bf7cfe5f4e9abbc9 100644 (file)
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -51,6 +51,7 @@ nav:
 markdown_extensions:
     - codehilite
     - admonition
+    - pymdownx.superfences
     - def_list
     - toc:
         permalink: 