summaryrefslogtreecommitdiff
path: root/otherlibs/unix
diff options
context:
space:
mode:
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 ed085512d0..9cccaebf30 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 d41eba2628..e3a54d2ef5 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 d53d83eb3f..99432235e7 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 1af25f4759..23871836e3 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 c9224313f3..c52a4074f0 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 74b5b5bdde..73716411a8 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 7dc1ba41d5..63c92c03a2 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 c73c8892d3..de13f4a429 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 9023bc0791..90034fa72f 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 444a56dc15..5432789e32 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 eb4d9d87b1..0e2caae07f 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 9a722b445d..d44ba896a3 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 74eb7188f0..4b80d1bad8 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 59df66a93f..6a01490911 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 a9fc39c7c2..8e7c84ee76 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 a85c8a3e2e..d95e4bc26d 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 dfb9ec897b..d4af26f5bc 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 a46c2b8d29..e7cecf8359 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 a45ecc00c6..b5bdcbfcf1 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 d6aff93bd4..cf1930ff85 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 5acb9bd419..d7e3ddb440 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 c02a19a244..ba88732888 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 6a82984277..36f7284c51 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 aeb82c01f4..247ef611f3 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 9f5ddc675f..e41357b33b 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 ef5df88b6c..caef5fd643 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 e50662f019..259431fc2c 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 91cd25467d..5d1017ca1c 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 4821e0e6b5..7dbc957ddc 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 fbc1e43cd6..2d1c1156c7 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 19c4125cfc..f0864c95cc 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 e5b6b4d937..a018c9d0a0 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 8b23a59c4b..06526f1de5 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 80e09982bf..e148babcf5 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 741acbcf30..6ce250d5ae 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 ef7df6c1a2..70ee4f1433 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 a755e47499..1513bfaba4 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 d5d4870d75..18c7342213 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 0b36246220..7dfc549a18 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 f8b7d238f0..df39460389 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 8207e75515..af5ca3e0d9 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 01045df188..0f18e0e45a 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 f5766c67c4..6585cfc171 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 6cb976ac17..4b0d68f45f 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 0275a1240a..3a9cf96df2 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 4fbc8fc1d8..5c50855b69 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 19d98e5707..39387f5f7a 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 b7c8b28a24..475736be98 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 b6b2945bb1..472510f0dd 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 3e6983b840..264f9c76ef 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 e8fe699327..9afe116e43 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 9992625a3d..39c846995e 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 0b1f34b7e6..88536feb21 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 ffb1d0b815..fc0a3b7fb0 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 9378837860..3630b2ee44 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 1be28bf5c4..36a812029c 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 d89ea2a71d..6f38d82138 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 eef6a87615..b151984126 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 552c38c34d..567acdac1a 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 4c1e97ce7c..c9dae68d22 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 5b2bcd2a73..bb9462c55f 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 cbcae9d029..9efb9ccf8c 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 098886165b..6c059d8bcb 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 7cef8988f7..4bccff4072 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 35c3fade3c..727c901d50 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 2d2942e252..38488f2ca2 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 d5b01748da..e08dcfcf2b 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 9ae187ee04..a0f600c5b3 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 a4c6386a79..5d40d8c5c7 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 596a01d333..f37b576297 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 b1d1f41dc7..c75893ac37 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 b7a28204f2..7c613f04bc 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 0117f7947e..7004752a9a 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 ecb1a133e4..1a075d312c 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 3ba68c2c70..69b317a05b 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 4539ecc0a6..4b678595c1 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 8c53ca0ca6..e9feff0fb0 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 8b4486167e..ab5a32cfcb 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 2a54d4a424..6976d146fc 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 d358b2261b..93786d6bb3 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 6b69465c37..12b36e0986 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 25d45a8300..4bbc206a92 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 9a2e1fe449..c0314c48cb 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 636e12a82e..00138e0297 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 43c204c1c4..936b96b692 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 01e125031e..fc0c4c4322 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 f84ac4e1c5..b05f65c84f 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 3d177c6dc4..1833e4c52d 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 61a08de220..8f979a4b4e 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 8ede09552d..ce41535074 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 6d4bae6d72..a55b8e80e3 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 5573836191..dde49f35bc 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 9017ecd860..44234181eb 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 336b09b550..97d8958ff3 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 3acbbdff76..e38eba5e8f 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 7bd9d11f9c..e154f80b65 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. */
/* */
/***********************************************************************/