no need to index those dirs.

diff --git a/doc/webserver/robots.txt b/doc/webserver/robots.txt
index c6703c5..a9941db 100644 (file)
--- a/doc/webserver/robots.txt
+++ b/doc/webserver/robots.txt
@@ -10,6 +10,8 @@
 
 User-agent: *
 Disallow: /config/
+Disallow: /actions/
+Disallow: /submit/