Index: trunk/doc/Autostyle.html
===================================================================
--- trunk/doc/Autostyle.html (revision 5717)
+++ trunk/doc/Autostyle.html (revision 5718)
@@ -3,12 +3,12 @@
-
+
Index: trunk/doc/contrib.html
===================================================================
--- trunk/doc/contrib.html (revision 5717)
+++ trunk/doc/contrib.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/ba.html
===================================================================
--- trunk/doc/features/ba.html (revision 5717)
+++ trunk/doc/features/ba.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/cycdrag.html
===================================================================
--- trunk/doc/features/cycdrag.html (revision 5717)
+++ trunk/doc/features/cycdrag.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/debian.html
===================================================================
--- trunk/doc/features/debian.html (revision 5717)
+++ trunk/doc/features/debian.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/debian_list.html
===================================================================
--- trunk/doc/features/debian_list.html (revision 5717)
+++ trunk/doc/features/debian_list.html (revision 5718)
@@ -10,13 +10,13 @@
-
+
Index: trunk/doc/features/dynstyle.html
===================================================================
--- trunk/doc/features/dynstyle.html (revision 5717)
+++ trunk/doc/features/dynstyle.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/flagcomp.html
===================================================================
--- trunk/doc/features/flagcomp.html (revision 5717)
+++ trunk/doc/features/flagcomp.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/fp_wget.html
===================================================================
--- trunk/doc/features/fp_wget.html (revision 5717)
+++ trunk/doc/features/fp_wget.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/fullscreen.html
===================================================================
--- trunk/doc/features/fullscreen.html (revision 5717)
+++ trunk/doc/features/fullscreen.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/gpmi.html
===================================================================
--- trunk/doc/features/gpmi.html (revision 5717)
+++ trunk/doc/features/gpmi.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/grid.html
===================================================================
--- trunk/doc/features/grid.html (revision 5717)
+++ trunk/doc/features/grid.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/index.html
===================================================================
--- trunk/doc/features/index.html (revision 5717)
+++ trunk/doc/features/index.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/intconn.html
===================================================================
--- trunk/doc/features/intconn.html (revision 5717)
+++ trunk/doc/features/intconn.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/io.html
===================================================================
--- trunk/doc/features/io.html (revision 5717)
+++ trunk/doc/features/io.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/library_t.html
===================================================================
--- trunk/doc/features/library_t.html (revision 5717)
+++ trunk/doc/features/library_t.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/mincut.html
===================================================================
--- trunk/doc/features/mincut.html (revision 5717)
+++ trunk/doc/features/mincut.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/negselect.html
===================================================================
--- trunk/doc/features/negselect.html (revision 5717)
+++ trunk/doc/features/negselect.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/nonetlist.html
===================================================================
--- trunk/doc/features/nonetlist.html (revision 5717)
+++ trunk/doc/features/nonetlist.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/oldplugins.html
===================================================================
--- trunk/doc/features/oldplugins.html (revision 5717)
+++ trunk/doc/features/oldplugins.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/onpoint.html
===================================================================
--- trunk/doc/features/onpoint.html (revision 5717)
+++ trunk/doc/features/onpoint.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/pcb-fp.html
===================================================================
--- trunk/doc/features/pcb-fp.html (revision 5717)
+++ trunk/doc/features/pcb-fp.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/pcblib.html
===================================================================
--- trunk/doc/features/pcblib.html (revision 5717)
+++ trunk/doc/features/pcblib.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/polygrid.html
===================================================================
--- trunk/doc/features/polygrid.html (revision 5717)
+++ trunk/doc/features/polygrid.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/propedit.html
===================================================================
--- trunk/doc/features/propedit.html (revision 5717)
+++ trunk/doc/features/propedit.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/query.html
===================================================================
--- trunk/doc/features/query.html (revision 5717)
+++ trunk/doc/features/query.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/res.html
===================================================================
--- trunk/doc/features/res.html (revision 5717)
+++ trunk/doc/features/res.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/routings.html
===================================================================
--- trunk/doc/features/routings.html (revision 5717)
+++ trunk/doc/features/routings.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/scconfig.html
===================================================================
--- trunk/doc/features/scconfig.html (revision 5717)
+++ trunk/doc/features/scconfig.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/settings.html
===================================================================
--- trunk/doc/features/settings.html (revision 5717)
+++ trunk/doc/features/settings.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/square.html
===================================================================
--- trunk/doc/features/square.html (revision 5717)
+++ trunk/doc/features/square.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/tostyle.html
===================================================================
--- trunk/doc/features/tostyle.html (revision 5717)
+++ trunk/doc/features/tostyle.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/features/unglib.html
===================================================================
--- trunk/doc/features/unglib.html (revision 5717)
+++ trunk/doc/features/unglib.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/help.html
===================================================================
--- trunk/doc/help.html (revision 5717)
+++ trunk/doc/help.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/index.html
===================================================================
--- trunk/doc/index.html (revision 5717)
+++ trunk/doc/index.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/irc.html
===================================================================
--- trunk/doc/irc.html (revision 5717)
+++ trunk/doc/irc.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/motivation.html
===================================================================
--- trunk/doc/motivation.html (revision 5717)
+++ trunk/doc/motivation.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/myfeature.html
===================================================================
--- trunk/doc/myfeature.html (revision 5717)
+++ trunk/doc/myfeature.html (revision 5718)
@@ -8,13 +8,13 @@
-
+
Index: trunk/doc/news.html
===================================================================
--- trunk/doc/news.html (revision 5717)
+++ trunk/doc/news.html (revision 5718)
@@ -8,13 +8,13 @@
-