diff --git a/alliance/src/boog/doc/boog.1 b/alliance/src/boog/doc/boog.1
index 5d2e9db6..aec3c392 100644
--- a/alliance/src/boog/doc/boog.1
+++ b/alliance/src/boog/doc/boog.1
@@ -164,7 +164,7 @@ You can call \f4boog\fP as follows :
 
 .SH SEE ALSO
 .br
-boog(1), boom(1), loon(1), lax(1), vbe(1), scmap(1), bop(1), glop(1), c4map(1), xlmap(1), proof(1), yagle(1), asimut(1), vhdl(5), scr(1), sclib(1), sxlib(1).
+boog(1), boom(1), loon(1), lax(5), vbe(5), proof(1), asimut(1), vhdl(5), ocp(1), nero(1), sxlib(5).
 .br
 
 
diff --git a/alliance/src/boog/doc/lax.5 b/alliance/src/boog/doc/lax.5
index 6debf473..9392a68a 100644
--- a/alliance/src/boog/doc/lax.5
+++ b/alliance/src/boog/doc/lax.5
@@ -1,4 +1,4 @@
-.\"   $Id: lax.5,v 1.2 2002/09/30 16:19:55 czo Exp $
+.\"   $Id: lax.5,v 1.3 2002/10/09 20:12:40 xtof Exp $
 .\"                ,,,
 .\"               (o o)
 .\"  ####=====oOO--(_)--OOO=========================================####
@@ -15,7 +15,7 @@
 .\"  ####===========================================================####
 .\" 
 .\" 
-.\"   $Id: lax.5,v 1.2 2002/09/30 16:19:55 czo Exp $
+.\"   $Id: lax.5,v 1.3 2002/10/09 20:12:40 xtof Exp $
 .\" 
 .\" 
 .TH LAX 5 "October 1, 1997" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
@@ -186,10 +186,7 @@ clock:1;
 .SH SEE ALSO
 .br
 .BR \fBboom\fP (1),
-.BR \fBboog\fP (1),
-.BR \fBloon\fP (1),
-.BR \fBglop\fP (1),
-.BR \fBc4map\fP (1),
+.BR \fBboog\fP (1).
 
 
 
diff --git a/alliance/src/loon/doc/loon.1 b/alliance/src/loon/doc/loon.1
index 6d3993ea..5743eb6f 100644
--- a/alliance/src/loon/doc/loon.1
+++ b/alliance/src/loon/doc/loon.1
@@ -125,7 +125,7 @@ You can call \f4loon\fP as follows :
 
 .SH SEE ALSO
 .br
-loon(1), boog(1), boom(1), lax(1), vbe(1), scmap(1), bop(1), glop(1), c4map(1), xlmap(1), proof(1), yagle(1), asimut(1), vhdl(5), scr(1), sclib(1), sxlib(1).
+loon(1), boog(1), boom(1), lax(5), vbe(5), proof(1), asimut(1), vhdl(5), ocp(1), nero(1), sxlib(5).
 .br
 
 
diff --git a/alliance/src/lynx/man1/cougar.1 b/alliance/src/lynx/man1/cougar.1
index 8fa3061e..9acb0c52 100644
--- a/alliance/src/lynx/man1/cougar.1
+++ b/alliance/src/lynx/man1/cougar.1
@@ -1,4 +1,4 @@
-.\"   $Id: cougar.1,v 1.1 2002/05/21 06:52:00 xtof Exp $
+.\"   $Id: cougar.1,v 1.2 2002/10/09 20:12:42 xtof Exp $
 .\" @(#)lynx 1.09 94/10/10 UPMC/ASIM/LIP6/CAO-VLSI " Ludovic Jacomme, Frederic Petrot
 .TH COUGAR 1 "October 1, 1997" "ASIM/LIP6" "ALLIANCE USER COMMANDS"
 .SH NAME
@@ -156,7 +156,7 @@ This is useful with \fByagle\fP(1), to retrieve logical equations from
 a layout.
 .RE
 .SH SEE ALSO
-.BR al (1),
+.BR al (5),
 .BR MBK_CATA_LIB (1),
 .BR MBK_WORK_LIB (1),
 .BR MBK_CATAL_NAME (1),
diff --git a/alliance/src/mbk/man1/MBK_CATAL_NAME.1 b/alliance/src/mbk/man1/MBK_CATAL_NAME.1
index 6d44007e..81995c23 100644
--- a/alliance/src/mbk/man1/MBK_CATAL_NAME.1
+++ b/alliance/src/mbk/man1/MBK_CATAL_NAME.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_CATAL_NAME.1,v 1.1 2002/03/08 13:51:04 fred Exp $
+.\"   $Id: MBK_CATAL_NAME.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_CATAL_NAME.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -46,7 +46,7 @@ the \fBMBK_WORK_LIB\fP(1).
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (5),
 .BR genlib (1).
 
 
diff --git a/alliance/src/mbk/man1/MBK_CATA_LIB.1 b/alliance/src/mbk/man1/MBK_CATA_LIB.1
index b1cd08da..89610ed0 100644
--- a/alliance/src/mbk/man1/MBK_CATA_LIB.1
+++ b/alliance/src/mbk/man1/MBK_CATA_LIB.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_CATA_LIB.1,v 1.1 2002/03/08 13:51:04 fred Exp $
+.\"   $Id: MBK_CATA_LIB.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_CATA_LIB.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -55,7 +55,7 @@ reading, but this is seldom.
 Only the first path may be given with a '~', since the shell extents it only
 when seen first.
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_WORK_LIB (1).
 
diff --git a/alliance/src/mbk/man1/MBK_FILTER_SFX.1 b/alliance/src/mbk/man1/MBK_FILTER_SFX.1
index 13f1cb2c..5a93b7e8 100644
--- a/alliance/src/mbk/man1/MBK_FILTER_SFX.1
+++ b/alliance/src/mbk/man1/MBK_FILTER_SFX.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_FILTER_SFX.1,v 1.1 2002/03/08 13:51:04 fred Exp $
+.\"   $Id: MBK_FILTER_SFX.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 
 .TH MBK_FILTER_SFX 1 "October 1, 1999" "ASIM/LIP6" "MBK ENVIRONMENT VARIABLES"
 
@@ -23,7 +23,7 @@ For compressed files with gzip :
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR MBK_IN_FILTER (1),
 .BR MBK_OUT_FILTER (1),
 .BR mbkenv (3).
diff --git a/alliance/src/mbk/man1/MBK_IN_FILTER.1 b/alliance/src/mbk/man1/MBK_IN_FILTER.1
index 184d9739..f55669b7 100644
--- a/alliance/src/mbk/man1/MBK_IN_FILTER.1
+++ b/alliance/src/mbk/man1/MBK_IN_FILTER.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_IN_FILTER.1,v 1.1 2002/03/08 13:51:04 fred Exp $
+.\"   $Id: MBK_IN_FILTER.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 
 .TH MBK_IN_FILTER 1 "October 1, 1999" "ASIM/LIP6" "MBK ENVIRONMENT VARIABLES"
 
@@ -29,7 +29,7 @@ Opening compressed files with gzip :
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR MBK_FILTER_SFX (1),
 .BR MBK_OUT_FILTER (1),
 .BR mbkenv (3).
diff --git a/alliance/src/mbk/man1/MBK_IN_LO.1 b/alliance/src/mbk/man1/MBK_IN_LO.1
index 2f9051ce..a6b75514 100644
--- a/alliance/src/mbk/man1/MBK_IN_LO.1
+++ b/alliance/src/mbk/man1/MBK_IN_LO.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_IN_LO.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_IN_LO.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_IN_LO.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -55,7 +55,7 @@ You must changed it before any other action.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_OUT_LO (1).
 
diff --git a/alliance/src/mbk/man1/MBK_IN_PH.1 b/alliance/src/mbk/man1/MBK_IN_PH.1
index 318ec02a..b374d6a4 100644
--- a/alliance/src/mbk/man1/MBK_IN_PH.1
+++ b/alliance/src/mbk/man1/MBK_IN_PH.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_IN_PH.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_IN_PH.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_IN_PH.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -49,7 +49,7 @@ You must changed it before any other action.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_OUT_PH (1).
 
diff --git a/alliance/src/mbk/man1/MBK_OUT_FILTER.1 b/alliance/src/mbk/man1/MBK_OUT_FILTER.1
index 76d4092e..655dbf42 100644
--- a/alliance/src/mbk/man1/MBK_OUT_FILTER.1
+++ b/alliance/src/mbk/man1/MBK_OUT_FILTER.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_OUT_FILTER.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_OUT_FILTER.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 
 .TH MBK_OUT_FILTER 1 "October 1, 1999" "ASIM/LIP6" "MBK ENVIRONMENT VARIABLES"
 
@@ -29,7 +29,7 @@ Writing compressed files with gzip :
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR MBK_FILTER_SFX (1),
 .BR MBK_IN_FILTER (1),
 .BR mbkenv (1).
diff --git a/alliance/src/mbk/man1/MBK_OUT_LO.1 b/alliance/src/mbk/man1/MBK_OUT_LO.1
index 9a3c6433..4c414d55 100644
--- a/alliance/src/mbk/man1/MBK_OUT_LO.1
+++ b/alliance/src/mbk/man1/MBK_OUT_LO.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_OUT_LO.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_OUT_LO.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_OUT_LO.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -61,7 +61,7 @@ You must changed it before any other action.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_IN_LO (1).
 
diff --git a/alliance/src/mbk/man1/MBK_OUT_PH.1 b/alliance/src/mbk/man1/MBK_OUT_PH.1
index 74898513..b193ac3d 100644
--- a/alliance/src/mbk/man1/MBK_OUT_PH.1
+++ b/alliance/src/mbk/man1/MBK_OUT_PH.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_OUT_PH.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_OUT_PH.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_OUT_PH.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -48,7 +48,7 @@ You must changed it before any other action.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_IN_PH (1).
 
diff --git a/alliance/src/mbk/man1/MBK_SEPAR.1 b/alliance/src/mbk/man1/MBK_SEPAR.1
index 57c24257..0b4376f9 100644
--- a/alliance/src/mbk/man1/MBK_SEPAR.1
+++ b/alliance/src/mbk/man1/MBK_SEPAR.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_SEPAR.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_SEPAR.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_SEPAR.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -33,7 +33,7 @@ names, during a flatten, for example.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR concatname (3),
 .BR nameindex (3).
diff --git a/alliance/src/mbk/man1/MBK_TRACE_GETENV.1 b/alliance/src/mbk/man1/MBK_TRACE_GETENV.1
index 72a6d9ab..90a56cd3 100644
--- a/alliance/src/mbk/man1/MBK_TRACE_GETENV.1
+++ b/alliance/src/mbk/man1/MBK_TRACE_GETENV.1
@@ -1,7 +1,7 @@
 .\" Alliance man
 .\" Author: Czo <Olivier.Sirol@lip6.fr>
-.\" $Id: MBK_TRACE_GETENV.1,v 1.1 2002/03/08 13:51:05 fred Exp $
-.TH MBK_TRACE_GETENV 1 "$Date: 2002/03/08 13:51:05 $" "ASIM/LIP6" "MBK ENVIRONMENT VARIABLES"
+.\" $Id: MBK_TRACE_GETENV.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
+.TH MBK_TRACE_GETENV 1 "$Date: 2002/10/09 20:12:43 $" "ASIM/LIP6" "MBK ENVIRONMENT VARIABLES"
 .SH NAME
 \fBMBK_TRACE_GETENV\fP \- defines getenv() debug output
 
@@ -23,7 +23,7 @@ If \fBMBK_TRACE_GETENV\fR is set to "yes", all alliance tools will print debug i
 
 .SH SEE ALSO
 .PP
-.BR mbk(1)
+.BR mbk(3)
 .BR mbkgetenv(3).
 
 .so man1/alc_bug_report.1
diff --git a/alliance/src/mbk/man1/MBK_VDD.1 b/alliance/src/mbk/man1/MBK_VDD.1
index 009b1d75..2d02d640 100644
--- a/alliance/src/mbk/man1/MBK_VDD.1
+++ b/alliance/src/mbk/man1/MBK_VDD.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_VDD.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_VDD.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_VDD.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -35,7 +35,7 @@ Therefore all names of the form `*\fBvdd\fP*' indicates a power supply.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR isvdd (3),
 .BR isvss (3),
diff --git a/alliance/src/mbk/man1/MBK_VSS.1 b/alliance/src/mbk/man1/MBK_VSS.1
index 9514da3a..5a31ffcb 100644
--- a/alliance/src/mbk/man1/MBK_VSS.1
+++ b/alliance/src/mbk/man1/MBK_VSS.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_VSS.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_VSS.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_VSS.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -35,7 +35,7 @@ Therefore all names of the form `*\fBvss\fP*' in indicates a ground node.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR isvss (3),
 .BR isvdd (3),
diff --git a/alliance/src/mbk/man1/MBK_WORK_LIB.1 b/alliance/src/mbk/man1/MBK_WORK_LIB.1
index 2acdb735..9da8b735 100644
--- a/alliance/src/mbk/man1/MBK_WORK_LIB.1
+++ b/alliance/src/mbk/man1/MBK_WORK_LIB.1
@@ -1,4 +1,4 @@
-.\"   $Id: MBK_WORK_LIB.1,v 1.1 2002/03/08 13:51:05 fred Exp $
+.\"   $Id: MBK_WORK_LIB.1,v 1.2 2002/10/09 20:12:43 xtof Exp $
 .\" @(#)MBK_WORK_LIB.8 2.11 91/08/22; Labo Cao-vlsi; Author : Frederic Petrot
 .if t \{\
 .so man1/alc_contents.mac
@@ -51,7 +51,7 @@ or directory while trying to write it.
 .ft R
 .fi
 .SH SEE ALSO
-.BR mbk (1),
+.BR mbk (3),
 .BR genlib (1),
 .BR MBK_CATA_LIB (1).
 
diff --git a/alliance/src/ocp/doc/ocp.1 b/alliance/src/ocp/doc/ocp.1
index 4fc3a64e..7fe13e7c 100644
--- a/alliance/src/ocp/doc/ocp.1
+++ b/alliance/src/ocp/doc/ocp.1
@@ -1,4 +1,4 @@
-.\"   $Id: ocp.1,v 1.2 2002/05/06 15:52:54 xtof Exp $
+.\"   $Id: ocp.1,v 1.3 2002/10/09 20:12:44 xtof Exp $
 .\" @(#)Labo.l 0.0 92/09/24 UPMC; Author: Christophe ALEXANDRE
 .pl -.4
 .TH OCP 1 "September 27, 2001" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
@@ -93,5 +93,5 @@ the name of the power signals vdd and vss.
 
 .SH SEE ALSO
 .PP
-ocr(1), MBK_IN_LO(1), MBK_IN_PH(1), MBK_OUT_PH(1), MBK_VDD(1), MBK_VSS(1)
+nero(1), MBK_IN_LO(1), MBK_IN_PH(1), MBK_OUT_PH(1), MBK_VDD(1), MBK_VSS(1)
 .so man1/alc_bug_report.1