diff --git a/collects/web-server/default-web-root/.gitignore b/collects/web-server/default-web-root/.gitignore
index 6bfe6b19e3..31dbbff57c 100644
--- a/collects/web-server/default-web-root/.gitignore
+++ b/collects/web-server/default-web-root/.gitignore
@@ -1 +1 @@
-log
+/log