summaryrefslogtreecommitdiff
path: root/doc/skr/env.skr
diff options
context:
space:
mode:
Diffstat (limited to 'doc/skr/env.skr')
-rw-r--r--doc/skr/env.skr30
1 files changed, 20 insertions, 10 deletions
diff --git a/doc/skr/env.skr b/doc/skr/env.skr
index 463b997..0eabdff 100644
--- a/doc/skr/env.skr
+++ b/doc/skr/env.skr
@@ -1,13 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/skr/env.skr */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Mon Sep 1 10:22:42 2003 */
-;* Last change : Thu Jan 29 06:48:54 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The environment variables for the documentation. */
-;*=====================================================================*/
+;;; env.skr -- The environment variables for the documentation.
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;; Copyright 2005, 2006 Ludovic Courtès <ludovic.courtes@laas.fr>
+;;;
+;;;
+;;; This program is free software; you can redistribute it and/or modify
+;;; it under the terms of the GNU General Public License as published by
+;;; the Free Software Foundation; either version 2 of the License, or
+;;; (at your option) any later version.
+;;;
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+;;; GNU General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program; if not, write to the Free Software
+;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
+;;; USA.
(define *serrano-url* "http://www.inria.fr/mimosa/Manuel.Serrano")
(define *serrano-mail* "Manuel.Serrano@sophia.inria.fr")