From 16fe5727d1c38120d935875fe556b005e8e09d61 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan-Otto=20Kr=C3=B6pke?= Date: Sat, 10 Feb 2024 01:04:48 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7703d3a..b236764 100644 --- a/README.md +++ b/README.md @@ -86,7 +86,7 @@ The ``startup.sh`` script allows some customization on startup: The CORS variables customize tomcat's `web.xml` file. If you need more customization, you can provide your own customized `web.xml` file to tomcat by mounting it into the container -at `/opt/config_overrides/server.xml`. +at `/opt/config_overrides/web.xml`. Example installing wps and ysld extensions: