summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-11-17 18:59:06 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-11-17 18:59:06 +0000
commitcc0f32b05439bb7018e8ad62a54d6371b01aab9f (patch)
tree11e614c740672ce84f806b42a6630d192f057bd8 /otherlibs/unix
parentf07e6fe1c7d8b37c2b00e0a47146285789f1e526 (diff)
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
-rw-r--r--otherlibs/unix/Makefile14
-rw-r--r--otherlibs/unix/accept.c3
-rw-r--r--otherlibs/unix/access.c3
-rw-r--r--otherlibs/unix/addrofstr.c3
-rw-r--r--otherlibs/unix/alarm.c3
-rw-r--r--otherlibs/unix/bind.c3
-rw-r--r--otherlibs/unix/chdir.c3
-rw-r--r--otherlibs/unix/chmod.c3
-rw-r--r--otherlibs/unix/chown.c3
-rw-r--r--otherlibs/unix/chroot.c3
-rw-r--r--otherlibs/unix/close.c3
-rw-r--r--otherlibs/unix/closedir.c3
-rw-r--r--otherlibs/unix/connect.c3
-rw-r--r--otherlibs/unix/cst2constr.c3
-rw-r--r--otherlibs/unix/cst2constr.h3
-rw-r--r--otherlibs/unix/cstringv.c3
-rw-r--r--otherlibs/unix/dup.c3
-rw-r--r--otherlibs/unix/dup2.c3
-rw-r--r--otherlibs/unix/envir.c3
-rw-r--r--otherlibs/unix/errmsg.c3
-rw-r--r--otherlibs/unix/execv.c3
-rw-r--r--otherlibs/unix/execve.c3
-rw-r--r--otherlibs/unix/execvp.c3
-rw-r--r--otherlibs/unix/exit.c3
-rw-r--r--otherlibs/unix/fchmod.c3
-rw-r--r--otherlibs/unix/fchown.c3
-rw-r--r--otherlibs/unix/fcntl.c3
-rw-r--r--otherlibs/unix/fork.c3
-rw-r--r--otherlibs/unix/ftruncate.c3
-rw-r--r--otherlibs/unix/getcwd.c3
-rw-r--r--otherlibs/unix/getegid.c3
-rw-r--r--otherlibs/unix/geteuid.c3
-rw-r--r--otherlibs/unix/getgid.c3
-rw-r--r--otherlibs/unix/getgr.c3
-rw-r--r--otherlibs/unix/getgroups.c3
-rw-r--r--otherlibs/unix/gethost.c3
-rw-r--r--otherlibs/unix/gethostname.c3
-rw-r--r--otherlibs/unix/getlogin.c3
-rw-r--r--otherlibs/unix/getpeername.c3
-rw-r--r--otherlibs/unix/getpid.c3
-rw-r--r--otherlibs/unix/getppid.c3
-rw-r--r--otherlibs/unix/getproto.c3
-rw-r--r--otherlibs/unix/getpw.c3
-rw-r--r--otherlibs/unix/getserv.c3
-rw-r--r--otherlibs/unix/getsockname.c3
-rw-r--r--otherlibs/unix/gettimeofday.c3
-rw-r--r--otherlibs/unix/getuid.c3
-rw-r--r--otherlibs/unix/gmtime.c3
-rw-r--r--otherlibs/unix/itimer.c3
-rw-r--r--otherlibs/unix/kill.c3
-rw-r--r--otherlibs/unix/link.c3
-rw-r--r--otherlibs/unix/listen.c3
-rw-r--r--otherlibs/unix/lockf.c3
-rw-r--r--otherlibs/unix/lseek.c3
-rw-r--r--otherlibs/unix/mkdir.c3
-rw-r--r--otherlibs/unix/mkfifo.c3
-rw-r--r--otherlibs/unix/nice.c3
-rw-r--r--otherlibs/unix/open.c3
-rw-r--r--otherlibs/unix/opendir.c3
-rw-r--r--otherlibs/unix/pipe.c3
-rw-r--r--otherlibs/unix/putenv.c3
-rw-r--r--otherlibs/unix/read.c3
-rw-r--r--otherlibs/unix/readdir.c3
-rw-r--r--otherlibs/unix/readlink.c3
-rw-r--r--otherlibs/unix/rename.c3
-rw-r--r--otherlibs/unix/rewinddir.c3
-rw-r--r--otherlibs/unix/rmdir.c3
-rw-r--r--otherlibs/unix/select.c3
-rw-r--r--otherlibs/unix/sendrecv.c3
-rw-r--r--otherlibs/unix/setgid.c3
-rw-r--r--otherlibs/unix/setsid.c3
-rw-r--r--otherlibs/unix/setuid.c3
-rw-r--r--otherlibs/unix/shutdown.c3
-rw-r--r--otherlibs/unix/signals.c3
-rw-r--r--otherlibs/unix/sleep.c3
-rw-r--r--otherlibs/unix/socket.c3
-rw-r--r--otherlibs/unix/socketaddr.c3
-rw-r--r--otherlibs/unix/socketaddr.h3
-rw-r--r--otherlibs/unix/socketpair.c3
-rw-r--r--otherlibs/unix/sockopt.c3
-rw-r--r--otherlibs/unix/stat.c3
-rw-r--r--otherlibs/unix/strofaddr.c3
-rw-r--r--otherlibs/unix/symlink.c3
-rw-r--r--otherlibs/unix/termios.c3
-rw-r--r--otherlibs/unix/time.c3
-rw-r--r--otherlibs/unix/times.c3
-rw-r--r--otherlibs/unix/truncate.c3
-rw-r--r--otherlibs/unix/umask.c3
-rw-r--r--otherlibs/unix/unix.ml3
-rw-r--r--otherlibs/unix/unix.mli3
-rw-r--r--otherlibs/unix/unixsupport.c3
-rw-r--r--otherlibs/unix/unixsupport.h3
-rw-r--r--otherlibs/unix/unlink.c3
-rw-r--r--otherlibs/unix/utimes.c3
-rw-r--r--otherlibs/unix/wait.c3
-rw-r--r--otherlibs/unix/write.c3
96 files changed, 204 insertions, 95 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile
index ed085512d..9cccaebf3 100644
--- a/otherlibs/unix/Makefile
+++ b/otherlibs/unix/Makefile
@@ -1,3 +1,17 @@
+#########################################################################
+# #
+# Objective Caml #
+# #
+# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
+# #
+# Copyright 1999 Institut National de Recherche en Informatique et #
+# en Automatique. All rights reserved. This file is distributed #
+# under the terms of the GNU Library General Public License. #
+# #
+#########################################################################
+
+# $Id$
+
# Makefile for the Unix interface library
include ../../config/Makefile
diff --git a/otherlibs/unix/accept.c b/otherlibs/unix/accept.c
index d41eba262..e3a54d2ef 100644
--- a/otherlibs/unix/accept.c
+++ b/otherlibs/unix/accept.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/access.c b/otherlibs/unix/access.c
index d53d83eb3..99432235e 100644
--- a/otherlibs/unix/access.c
+++ b/otherlibs/unix/access.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/addrofstr.c b/otherlibs/unix/addrofstr.c
index 1af25f475..23871836e 100644
--- a/otherlibs/unix/addrofstr.c
+++ b/otherlibs/unix/addrofstr.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/alarm.c b/otherlibs/unix/alarm.c
index c9224313f..c52a4074f 100644
--- a/otherlibs/unix/alarm.c
+++ b/otherlibs/unix/alarm.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/bind.c b/otherlibs/unix/bind.c
index 74b5b5bdd..73716411a 100644
--- a/otherlibs/unix/bind.c
+++ b/otherlibs/unix/bind.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/chdir.c b/otherlibs/unix/chdir.c
index 7dc1ba41d..63c92c03a 100644
--- a/otherlibs/unix/chdir.c
+++ b/otherlibs/unix/chdir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/chmod.c b/otherlibs/unix/chmod.c
index c73c8892d..de13f4a42 100644
--- a/otherlibs/unix/chmod.c
+++ b/otherlibs/unix/chmod.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/chown.c b/otherlibs/unix/chown.c
index 9023bc079..90034fa72 100644
--- a/otherlibs/unix/chown.c
+++ b/otherlibs/unix/chown.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/chroot.c b/otherlibs/unix/chroot.c
index 444a56dc1..5432789e3 100644
--- a/otherlibs/unix/chroot.c
+++ b/otherlibs/unix/chroot.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/close.c b/otherlibs/unix/close.c
index eb4d9d87b..0e2caae07 100644
--- a/otherlibs/unix/close.c
+++ b/otherlibs/unix/close.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c
index 9a722b445..d44ba896a 100644
--- a/otherlibs/unix/closedir.c
+++ b/otherlibs/unix/closedir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/connect.c b/otherlibs/unix/connect.c
index 74eb7188f..4b80d1bad 100644
--- a/otherlibs/unix/connect.c
+++ b/otherlibs/unix/connect.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/cst2constr.c b/otherlibs/unix/cst2constr.c
index 59df66a93..6a0149091 100644
--- a/otherlibs/unix/cst2constr.c
+++ b/otherlibs/unix/cst2constr.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/cst2constr.h b/otherlibs/unix/cst2constr.h
index a9fc39c7c..8e7c84ee7 100644
--- a/otherlibs/unix/cst2constr.h
+++ b/otherlibs/unix/cst2constr.h
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c
index a85c8a3e2..d95e4bc26 100644
--- a/otherlibs/unix/cstringv.c
+++ b/otherlibs/unix/cstringv.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c
index dfb9ec897..d4af26f5b 100644
--- a/otherlibs/unix/dup.c
+++ b/otherlibs/unix/dup.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/dup2.c b/otherlibs/unix/dup2.c
index a46c2b8d2..e7cecf835 100644
--- a/otherlibs/unix/dup2.c
+++ b/otherlibs/unix/dup2.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/envir.c b/otherlibs/unix/envir.c
index a45ecc00c..b5bdcbfcf 100644
--- a/otherlibs/unix/envir.c
+++ b/otherlibs/unix/envir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/errmsg.c b/otherlibs/unix/errmsg.c
index d6aff93bd..cf1930ff8 100644
--- a/otherlibs/unix/errmsg.c
+++ b/otherlibs/unix/errmsg.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/execv.c b/otherlibs/unix/execv.c
index 5acb9bd41..d7e3ddb44 100644
--- a/otherlibs/unix/execv.c
+++ b/otherlibs/unix/execv.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c
index c02a19a24..ba8873288 100644
--- a/otherlibs/unix/execve.c
+++ b/otherlibs/unix/execve.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c
index 6a8298427..36f7284c5 100644
--- a/otherlibs/unix/execvp.c
+++ b/otherlibs/unix/execvp.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/exit.c b/otherlibs/unix/exit.c
index aeb82c01f..247ef611f 100644
--- a/otherlibs/unix/exit.c
+++ b/otherlibs/unix/exit.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c
index 9f5ddc675..e41357b33 100644
--- a/otherlibs/unix/fchmod.c
+++ b/otherlibs/unix/fchmod.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/fchown.c b/otherlibs/unix/fchown.c
index ef5df88b6..caef5fd64 100644
--- a/otherlibs/unix/fchown.c
+++ b/otherlibs/unix/fchown.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/fcntl.c b/otherlibs/unix/fcntl.c
index e50662f01..259431fc2 100644
--- a/otherlibs/unix/fcntl.c
+++ b/otherlibs/unix/fcntl.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/fork.c b/otherlibs/unix/fork.c
index 91cd25467..5d1017ca1 100644
--- a/otherlibs/unix/fork.c
+++ b/otherlibs/unix/fork.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/ftruncate.c b/otherlibs/unix/ftruncate.c
index 4821e0e6b..7dbc957dd 100644
--- a/otherlibs/unix/ftruncate.c
+++ b/otherlibs/unix/ftruncate.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getcwd.c b/otherlibs/unix/getcwd.c
index fbc1e43cd..2d1c1156c 100644
--- a/otherlibs/unix/getcwd.c
+++ b/otherlibs/unix/getcwd.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getegid.c b/otherlibs/unix/getegid.c
index 19c4125cf..f0864c95c 100644
--- a/otherlibs/unix/getegid.c
+++ b/otherlibs/unix/getegid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/geteuid.c b/otherlibs/unix/geteuid.c
index e5b6b4d93..a018c9d0a 100644
--- a/otherlibs/unix/geteuid.c
+++ b/otherlibs/unix/geteuid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getgid.c b/otherlibs/unix/getgid.c
index 8b23a59c4..06526f1de 100644
--- a/otherlibs/unix/getgid.c
+++ b/otherlibs/unix/getgid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getgr.c b/otherlibs/unix/getgr.c
index 80e09982b..e148babcf 100644
--- a/otherlibs/unix/getgr.c
+++ b/otherlibs/unix/getgr.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getgroups.c b/otherlibs/unix/getgroups.c
index 741acbcf3..6ce250d5a 100644
--- a/otherlibs/unix/getgroups.c
+++ b/otherlibs/unix/getgroups.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/gethost.c b/otherlibs/unix/gethost.c
index ef7df6c1a..70ee4f143 100644
--- a/otherlibs/unix/gethost.c
+++ b/otherlibs/unix/gethost.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/gethostname.c b/otherlibs/unix/gethostname.c
index a755e4749..1513bfaba 100644
--- a/otherlibs/unix/gethostname.c
+++ b/otherlibs/unix/gethostname.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getlogin.c b/otherlibs/unix/getlogin.c
index d5d4870d7..18c734221 100644
--- a/otherlibs/unix/getlogin.c
+++ b/otherlibs/unix/getlogin.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getpeername.c b/otherlibs/unix/getpeername.c
index 0b3624622..7dfc549a1 100644
--- a/otherlibs/unix/getpeername.c
+++ b/otherlibs/unix/getpeername.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getpid.c b/otherlibs/unix/getpid.c
index f8b7d238f..df3946038 100644
--- a/otherlibs/unix/getpid.c
+++ b/otherlibs/unix/getpid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getppid.c b/otherlibs/unix/getppid.c
index 8207e7551..af5ca3e0d 100644
--- a/otherlibs/unix/getppid.c
+++ b/otherlibs/unix/getppid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getproto.c b/otherlibs/unix/getproto.c
index 01045df18..0f18e0e45 100644
--- a/otherlibs/unix/getproto.c
+++ b/otherlibs/unix/getproto.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getpw.c b/otherlibs/unix/getpw.c
index f5766c67c..6585cfc17 100644
--- a/otherlibs/unix/getpw.c
+++ b/otherlibs/unix/getpw.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getserv.c b/otherlibs/unix/getserv.c
index 6cb976ac1..4b0d68f45 100644
--- a/otherlibs/unix/getserv.c
+++ b/otherlibs/unix/getserv.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getsockname.c b/otherlibs/unix/getsockname.c
index 0275a1240..3a9cf96df 100644
--- a/otherlibs/unix/getsockname.c
+++ b/otherlibs/unix/getsockname.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/gettimeofday.c b/otherlibs/unix/gettimeofday.c
index 4fbc8fc1d..5c50855b6 100644
--- a/otherlibs/unix/gettimeofday.c
+++ b/otherlibs/unix/gettimeofday.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/getuid.c b/otherlibs/unix/getuid.c
index 19d98e570..39387f5f7 100644
--- a/otherlibs/unix/getuid.c
+++ b/otherlibs/unix/getuid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/gmtime.c b/otherlibs/unix/gmtime.c
index b7c8b28a2..475736be9 100644
--- a/otherlibs/unix/gmtime.c
+++ b/otherlibs/unix/gmtime.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/itimer.c b/otherlibs/unix/itimer.c
index b6b2945bb..472510f0d 100644
--- a/otherlibs/unix/itimer.c
+++ b/otherlibs/unix/itimer.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c
index 3e6983b84..264f9c76e 100644
--- a/otherlibs/unix/kill.c
+++ b/otherlibs/unix/kill.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/link.c b/otherlibs/unix/link.c
index e8fe69932..9afe116e4 100644
--- a/otherlibs/unix/link.c
+++ b/otherlibs/unix/link.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/listen.c b/otherlibs/unix/listen.c
index 9992625a3..39c846995 100644
--- a/otherlibs/unix/listen.c
+++ b/otherlibs/unix/listen.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/lockf.c b/otherlibs/unix/lockf.c
index 0b1f34b7e..88536feb2 100644
--- a/otherlibs/unix/lockf.c
+++ b/otherlibs/unix/lockf.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/lseek.c b/otherlibs/unix/lseek.c
index ffb1d0b81..fc0a3b7fb 100644
--- a/otherlibs/unix/lseek.c
+++ b/otherlibs/unix/lseek.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/mkdir.c b/otherlibs/unix/mkdir.c
index 937883786..3630b2ee4 100644
--- a/otherlibs/unix/mkdir.c
+++ b/otherlibs/unix/mkdir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/mkfifo.c b/otherlibs/unix/mkfifo.c
index 1be28bf5c..36a812029 100644
--- a/otherlibs/unix/mkfifo.c
+++ b/otherlibs/unix/mkfifo.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c
index d89ea2a71..6f38d8213 100644
--- a/otherlibs/unix/nice.c
+++ b/otherlibs/unix/nice.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/open.c b/otherlibs/unix/open.c
index eef6a8761..b15198412 100644
--- a/otherlibs/unix/open.c
+++ b/otherlibs/unix/open.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/opendir.c b/otherlibs/unix/opendir.c
index 552c38c34..567acdac1 100644
--- a/otherlibs/unix/opendir.c
+++ b/otherlibs/unix/opendir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c
index 4c1e97ce7..c9dae68d2 100644
--- a/otherlibs/unix/pipe.c
+++ b/otherlibs/unix/pipe.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/putenv.c b/otherlibs/unix/putenv.c
index 5b2bcd2a7..bb9462c55 100644
--- a/otherlibs/unix/putenv.c
+++ b/otherlibs/unix/putenv.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1998 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/read.c b/otherlibs/unix/read.c
index cbcae9d02..9efb9ccf8 100644
--- a/otherlibs/unix/read.c
+++ b/otherlibs/unix/read.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c
index 098886165..6c059d8bc 100644
--- a/otherlibs/unix/readdir.c
+++ b/otherlibs/unix/readdir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c
index 7cef8988f..4bccff407 100644
--- a/otherlibs/unix/readlink.c
+++ b/otherlibs/unix/readlink.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/rename.c b/otherlibs/unix/rename.c
index 35c3fade3..727c901d5 100644
--- a/otherlibs/unix/rename.c
+++ b/otherlibs/unix/rename.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c
index 2d2942e25..38488f2ca 100644
--- a/otherlibs/unix/rewinddir.c
+++ b/otherlibs/unix/rewinddir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/rmdir.c b/otherlibs/unix/rmdir.c
index d5b01748d..e08dcfcf2 100644
--- a/otherlibs/unix/rmdir.c
+++ b/otherlibs/unix/rmdir.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c
index 9ae187ee0..a0f600c5b 100644
--- a/otherlibs/unix/select.c
+++ b/otherlibs/unix/select.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/sendrecv.c b/otherlibs/unix/sendrecv.c
index a4c6386a7..5d40d8c5c 100644
--- a/otherlibs/unix/sendrecv.c
+++ b/otherlibs/unix/sendrecv.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/setgid.c b/otherlibs/unix/setgid.c
index 596a01d33..f37b57629 100644
--- a/otherlibs/unix/setgid.c
+++ b/otherlibs/unix/setgid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/setsid.c b/otherlibs/unix/setsid.c
index b1d1f41dc..c75893ac3 100644
--- a/otherlibs/unix/setsid.c
+++ b/otherlibs/unix/setsid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1997 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/setuid.c b/otherlibs/unix/setuid.c
index b7a28204f..7c613f04b 100644
--- a/otherlibs/unix/setuid.c
+++ b/otherlibs/unix/setuid.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c
index 0117f7947..7004752a9 100644
--- a/otherlibs/unix/shutdown.c
+++ b/otherlibs/unix/shutdown.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/signals.c b/otherlibs/unix/signals.c
index ecb1a133e..1a075d312 100644
--- a/otherlibs/unix/signals.c
+++ b/otherlibs/unix/signals.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1998 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c
index 3ba68c2c7..69b317a05 100644
--- a/otherlibs/unix/sleep.c
+++ b/otherlibs/unix/sleep.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/socket.c b/otherlibs/unix/socket.c
index 4539ecc0a..4b678595c 100644
--- a/otherlibs/unix/socket.c
+++ b/otherlibs/unix/socket.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/socketaddr.c b/otherlibs/unix/socketaddr.c
index 8c53ca0ca..e9feff0fb 100644
--- a/otherlibs/unix/socketaddr.c
+++ b/otherlibs/unix/socketaddr.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/socketaddr.h b/otherlibs/unix/socketaddr.h
index 8b4486167..ab5a32cfc 100644
--- a/otherlibs/unix/socketaddr.h
+++ b/otherlibs/unix/socketaddr.h
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/socketpair.c b/otherlibs/unix/socketpair.c
index 2a54d4a42..6976d146f 100644
--- a/otherlibs/unix/socketpair.c
+++ b/otherlibs/unix/socketpair.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/sockopt.c b/otherlibs/unix/sockopt.c
index d358b2261..93786d6bb 100644
--- a/otherlibs/unix/sockopt.c
+++ b/otherlibs/unix/sockopt.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/stat.c b/otherlibs/unix/stat.c
index 6b69465c3..12b36e098 100644
--- a/otherlibs/unix/stat.c
+++ b/otherlibs/unix/stat.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/strofaddr.c b/otherlibs/unix/strofaddr.c
index 25d45a830..4bbc206a9 100644
--- a/otherlibs/unix/strofaddr.c
+++ b/otherlibs/unix/strofaddr.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/symlink.c b/otherlibs/unix/symlink.c
index 9a2e1fe44..c0314c48c 100644
--- a/otherlibs/unix/symlink.c
+++ b/otherlibs/unix/symlink.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c
index 636e12a82..00138e029 100644
--- a/otherlibs/unix/termios.c
+++ b/otherlibs/unix/termios.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c
index 43c204c1c..936b96b69 100644
--- a/otherlibs/unix/time.c
+++ b/otherlibs/unix/time.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c
index 01e125031..fc0c4c432 100644
--- a/otherlibs/unix/times.c
+++ b/otherlibs/unix/times.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/truncate.c b/otherlibs/unix/truncate.c
index f84ac4e1c..b05f65c84 100644
--- a/otherlibs/unix/truncate.c
+++ b/otherlibs/unix/truncate.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/umask.c b/otherlibs/unix/umask.c
index 3d177c6dc..1833e4c52 100644
--- a/otherlibs/unix/umask.c
+++ b/otherlibs/unix/umask.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml
index 61a08de22..8f979a4b4 100644
--- a/otherlibs/unix/unix.ml
+++ b/otherlibs/unix/unix.ml
@@ -5,7 +5,8 @@
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
-(* en Automatique. Distributed only by permission. *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the GNU Library General Public License. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli
index 8ede09552..ce4153507 100644
--- a/otherlibs/unix/unix.mli
+++ b/otherlibs/unix/unix.mli
@@ -5,7 +5,8 @@
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
-(* Automatique. Distributed only by permission. *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the GNU Library General Public License. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/unix/unixsupport.c b/otherlibs/unix/unixsupport.c
index 6d4bae6d7..a55b8e80e 100644
--- a/otherlibs/unix/unixsupport.c
+++ b/otherlibs/unix/unixsupport.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/unixsupport.h b/otherlibs/unix/unixsupport.h
index 557383619..dde49f35b 100644
--- a/otherlibs/unix/unixsupport.h
+++ b/otherlibs/unix/unixsupport.h
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/unlink.c b/otherlibs/unix/unlink.c
index 9017ecd86..44234181e 100644
--- a/otherlibs/unix/unlink.c
+++ b/otherlibs/unix/unlink.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/utimes.c b/otherlibs/unix/utimes.c
index 336b09b55..97d8958ff 100644
--- a/otherlibs/unix/utimes.c
+++ b/otherlibs/unix/utimes.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c
index 3acbbdff7..e38eba5e8 100644
--- a/otherlibs/unix/wait.c
+++ b/otherlibs/unix/wait.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* en Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/
diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c
index 7bd9d11f9..e154f80b6 100644
--- a/otherlibs/unix/write.c
+++ b/otherlibs/unix/write.c
@@ -5,7 +5,8 @@
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
-/* Automatique. Distributed only by permission. */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the GNU Library General Public License. */
/* */
/***********************************************************************/