Index: trunk/doc/developer/mods3/index.html
===================================================================
--- trunk/doc/developer/mods3/index.html	(revision 15421)
+++ trunk/doc/developer/mods3/index.html	(revision 15422)
@@ -45,7 +45,7 @@
 	<tr><td>Before modularization: pcb-rnd version 1.0.7
 	        <br>Note: gpmi was already a plugin
 	    <td>
-	    <td> After modularization: pcb-rnd version 1.1.3
+	    <td> After modularization: current pcb-rnd
 	        <br>Note: gpmi is part of the "plugins" slice
 	</table>
 </table>
Index: trunk/doc/developer/mods3/pre.html
===================================================================
--- trunk/doc/developer/mods3/pre.html	(revision 15421)
+++ trunk/doc/developer/mods3/pre.html	(revision 15422)
@@ -45,7 +45,7 @@
 	<tr><td>Before modularization: pcb-rnd version 1.0.7
 	        <br>Note: gpmi was already a plugin
 	    <td>
-	    <td> After modularization: pcb-rnd version 1.1.3
+	    <td> After modularization: current pcb-rnd
 	        <br>Note: gpmi is part of the "plugins" slice
 	</table>
 </table>