# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1349336824 -10800
# Node ID 428a226bf835145796744b82cfc05e6bbe7832a3
# Parent  e1c949673102ffa72e68acccb42cea89d83914e7
Specify file name.

diff -r e1c949673102 -r 428a226bf835 java.rst
--- a/java.rst	Thu Oct 04 10:05:30 2012 +0300
+++ b/java.rst	Thu Oct 04 10:47:04 2012 +0300
@@ -198,7 +198,7 @@
 1.2     2.3      1.2      1.0
 ======= ======== ======== ========
 
-To set servlet version check ``web.xml``::
+To set servlet version check ``WEB-INF/web.xml``::
 
   <web-app xmlns="http://java.sun.com/xml/ns/javaee" version="3.0">