# HG changeset patch
# User robcast
# Date 1444410888 -7200
# Node ID d693466ba61a61e045a0baefd54abf8aa370ac42
# Parent  7a2de95a7b8e018d331fb08936e732423f5962c4
small fix in docs.

diff -r 7a2de95a7b8e -r d693466ba61a doc/src/site/site.xml
--- a/doc/src/site/site.xml	Fri Oct 09 16:45:40 2015 +0200
+++ b/doc/src/site/site.xml	Fri Oct 09 19:14:48 2015 +0200
@@ -34,7 +34,7 @@
     <menu name="Configuration">
       <item name="Configuring digilib" href="digilib-config.html"/>
       <item name="Directory layout" href="image-directories.html"/>
-      <item name="Java settings and performance" href="java-settings.html"/>
+      <item name="Java settings and tuning" href="java-settings.html"/>
     </menu>
     <menu name="Development">
       <item name="The digilib Scaler API" href="scaler-api.html"/>