Index: doc/next-migration.html
===================================================================
diff -u -rea3bbe8b1039c45baa2c027c005151e04e57d4b1 -re0419345b49587b5738f87c6d828dfc5ae4b3276
--- doc/next-migration.html	(.../next-migration.html)	(revision ea3bbe8b1039c45baa2c027c005151e04e57d4b1)
+++ doc/next-migration.html	(.../next-migration.html)	(revision e0419345b49587b5738f87c6d828dfc5ae4b3276)
@@ -4621,18 +4621,20 @@
 </span>
 <span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> <span class='nx-keyword'>lookup</span> <span class='nx-keyword'>configure</span> parameters <span class='nx-placeholder'>?pattern?</span>
 
+
 <span class='nx-comment'># "info lookup configure syntax" returns syntax of
 </span><span class='nx-comment'># a call to configure in the Tcl parameter syntax
 </span>
 <span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> <span class='nx-keyword'>lookup</span> <span class='nx-keyword'>configure</span> syntax
+<span class='nx-comment'># short form
+</span><span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> <span class='nx-keyword'>configure</span>
 
 <span class='nx-comment'># Obtain information from a parameter
 </span><span class='nx-comment'># (as e.g. returned from "info configure
 </span><span class='nx-comment'># parameters").
 </span>
 <span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> parameter name <span class='nx-placeholder'>/parameter/</span>
-<span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> parameter syntax <span class='nx-placeholder'>/parameter/</span>
-</pre></div></div></div></td>
+<span class='nx-placeholder'>/obj/</span> <span class='nx-keyword'>info</span> parameter syntax <span class='nx-placeholder'>/parameter/</span></pre></div></div></div></td>
 </tr>
 </tbody>
 </table>
@@ -6272,7 +6274,7 @@
 <div id="footer">
 <div id="footer-text">
 Version 2.2<br />
-Last updated 2013-05-28 16:04:09 CEST
+Last updated 2013-06-01 18:46:23 CEST
 </div>
 </div>
 </body>