Index: index.html
===================================================================
--- index.html	(revision 13662)
+++ index.html	(revision 13663)
@@ -14,7 +14,7 @@
 <tr>
 <th align=center bgcolor="#ccc0cc"> <a href="index.html"> Main </a>
 <th align=center bgcolor="#ccc0cc"> <a href="news.html"> News </a>
-<th align=center bgcolor="#ccc0cc"> <a href="doc.html"> Doc </a>
+<th align=center bgcolor="#ccc0cc"> <a href="doc.html"> Doc </a> | <a href="http://repo.hu/projects/pcb-rnd-aux/pool"> pool </a>
 <th align=center bgcolor="#ccc0cc"> <a href="support.html"> Support </a>
 <th align=center bgcolor="#ccc0cc"> <a href="http://repo.hu/cgi-bin/pcb-rnd-people.cgi">People</a>
 <th align=center bgcolor="#ccc0cc"> <a href="http://repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=events">Events</a> & <a href="http://www.repo.hu/cgi-bin/pcb-rnd-people.cgi?cmd=timeline"> timeline </a>