summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
l---------doc/COPYING1
-rw-r--r--doc/dir/dir.skb31
-rw-r--r--doc/skr/api.skr30
-rw-r--r--doc/skr/env.skr30
-rw-r--r--doc/skr/extension.skr29
-rw-r--r--doc/skr/manual.skr29
-rw-r--r--doc/user/bib.skb29
-rw-r--r--doc/user/char.skb29
-rw-r--r--doc/user/colframe.skb29
-rw-r--r--doc/user/document.skb29
-rw-r--r--doc/user/emacs.skb29
-rw-r--r--doc/user/engine.skb31
-rw-r--r--doc/user/enumeration.skb29
-rw-r--r--doc/user/eq.skb2
-rw-r--r--doc/user/examples.skb29
-rw-r--r--doc/user/figure.skb29
-rw-r--r--doc/user/font.skb29
-rw-r--r--doc/user/footnote.skb30
-rw-r--r--doc/user/htmle.skb31
-rw-r--r--doc/user/image.skb29
-rw-r--r--doc/user/index.skb29
-rw-r--r--doc/user/justify.skb29
-rw-r--r--doc/user/latexe.skb31
-rw-r--r--doc/user/lib.skb27
-rw-r--r--doc/user/line.skb29
-rw-r--r--doc/user/links.skb29
-rw-r--r--doc/user/markup.skb29
-rw-r--r--doc/user/ornament.skb29
-rw-r--r--doc/user/package.skb29
-rw-r--r--doc/user/pie.skb2
-rw-r--r--doc/user/prgm.skb29
-rw-r--r--doc/user/sectioning.skb29
-rw-r--r--doc/user/skribe-config.skb29
-rw-r--r--doc/user/skribec.skb29
-rw-r--r--doc/user/skribeinfo.skb29
-rw-r--r--doc/user/slide.skb32
-rw-r--r--doc/user/start.skb29
-rw-r--r--doc/user/syntax.skb29
-rw-r--r--doc/user/table.skb29
-rw-r--r--doc/user/toc.skb29
-rw-r--r--doc/user/user.skb31
-rw-r--r--doc/user/xmle.skb31
42 files changed, 757 insertions, 395 deletions
diff --git a/doc/COPYING b/doc/COPYING
new file mode 120000
index 0000000..012065c
--- /dev/null
+++ b/doc/COPYING
@@ -0,0 +1 @@
+../COPYING \ No newline at end of file
diff --git a/doc/dir/dir.skb b/doc/dir/dir.skb
index 8c6d377..1e1a7b6 100644
--- a/doc/dir/dir.skb
+++ b/doc/dir/dir.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/dir/dir.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Nov 28 10:37:39 2001 */
-;* Last change : Thu Jan 1 17:12:43 2004 (serrano) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe directory */
-;*=====================================================================*/
-
+;;; dir.skb -- The Skribe directory
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
;*---------------------------------------------------------------------*/
;* The Skribe documentation style */
;*---------------------------------------------------------------------*/
diff --git a/doc/skr/api.skr b/doc/skr/api.skr
index 369c605..d014fbd 100644
--- a/doc/skr/api.skr
+++ b/doc/skr/api.skr
@@ -1,13 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/skr/api.skr */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 07:45:33 2003 */
-;* Last change : Tue Apr 6 06:51:34 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe style for documenting Lisp APIs. */
-;*=====================================================================*/
+;;; api.skr -- The style for documenting Scheme APIs.
+;;;
+;;; 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.
(use-modules (ice-9 match)
(skribilo reader) ;; `make-reader'
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")
diff --git a/doc/skr/extension.skr b/doc/skr/extension.skr
index ce10ce7..f611b5a 100644
--- a/doc/skr/extension.skr
+++ b/doc/skr/extension.skr
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/skr/extension.skr */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Tue Dec 23 07:18:36 2003 */
-;* Last change : Fri Jan 2 21:25:49 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe package for documenting extensions */
-;*=====================================================================*/
+;;; extension.skr -- The Skribe package for documenting extensions
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* extension */
diff --git a/doc/skr/manual.skr b/doc/skr/manual.skr
index f8b022c..643772e 100644
--- a/doc/skr/manual.skr
+++ b/doc/skr/manual.skr
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/skr/manual.skr */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Mon Sep 1 11:24:19 2003 */
-;* Last change : Mon Sep 13 19:18:48 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe manuals and documentation pages style */
-;*=====================================================================*/
+;;; manual.skr -- Skribe manuals and documentation pages style
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Base configuration */
diff --git a/doc/user/bib.skb b/doc/user/bib.skb
index dd7ceb6..5b26417 100644
--- a/doc/user/bib.skb
+++ b/doc/user/bib.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/bib.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Sun Dec 2 10:02:56 2001 */
-;* Last change : Tue Oct 26 21:41:19 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe index */
-;*=====================================================================*/
+;;; bib.skb -- The Skribe index
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
(bibliography "src/bib1.sbib")
diff --git a/doc/user/char.skb b/doc/user/char.skb
index fe15831..16c4625 100644
--- a/doc/user/char.skb
+++ b/doc/user/char.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/char.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Sat Sep 6 16:07:08 2003 */
-;* Last change : Mon Feb 2 11:16:57 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Characters, strings and symbols */
-;*=====================================================================*/
+;;; char.skb -- Characters, strings and symbols
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Footnote ... */
diff --git a/doc/user/colframe.skb b/doc/user/colframe.skb
index 79b32f9..307b95c 100644
--- a/doc/user/colframe.skb
+++ b/doc/user/colframe.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/colframe.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Mon Apr 5 11:51:08 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe color and frame */
-;*=====================================================================*/
+;;; colframe.skb -- Skribe color and frame
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Frame and color */
diff --git a/doc/user/document.skb b/doc/user/document.skb
index 8521af0..b5c3461 100644
--- a/doc/user/document.skb
+++ b/doc/user/document.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/document.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Tue Sep 2 11:39:07 2003 */
-;* Last change : Wed Feb 4 14:51:12 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Document and author */
-;*=====================================================================*/
+;;; document.skb -- Document and author
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* dummy-document-output ... */
diff --git a/doc/user/emacs.skb b/doc/user/emacs.skb
index a526790..1255dec 100644
--- a/doc/user/emacs.skb
+++ b/doc/user/emacs.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/emacs.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Nov 30 13:36:44 2001 */
-;* Last change : Sun Feb 29 16:12:32 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Editing Skribe programs */
-;*=====================================================================*/
+;;; emacs.skb -- Editing Skribe programs
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Editing Skribe programs */
diff --git a/doc/user/engine.skb b/doc/user/engine.skb
index b8a5b47..30b8fd2 100644
--- a/doc/user/engine.skb
+++ b/doc/user/engine.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/engine.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 11:19:21 2003 */
-;* Last change : Mon Nov 8 15:07:35 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The description of the Skribe engines */
-;*=====================================================================*/
-;; @indent: (put 'doc-markup 'skribe-indent 'skribe-indent-function)@
+;;; engine.skb -- The description of the Skribe engines
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
(cond-expand
(guile
diff --git a/doc/user/enumeration.skb b/doc/user/enumeration.skb
index 01155e2..5f19c3a 100644
--- a/doc/user/enumeration.skb
+++ b/doc/user/enumeration.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/enumeration.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Fri Sep 12 15:31:37 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe enumerations */
-;*=====================================================================*/
+;;; enumeration.skb -- Skribe enumerations
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Justification */
diff --git a/doc/user/eq.skb b/doc/user/eq.skb
index d8f4063..a611f88 100644
--- a/doc/user/eq.skb
+++ b/doc/user/eq.skb
@@ -1,3 +1,5 @@
+;;; eq.skb -- Equation formatting.
+;;;
;;; Copyright 2006 Ludovic Courtès <ludovic.courtes@laas.fr>
;;;
;;;
diff --git a/doc/user/examples.skb b/doc/user/examples.skb
index a37ece4..7aa8f59 100644
--- a/doc/user/examples.skb
+++ b/doc/user/examples.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/examples.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 13:35:34 2003 */
-;* Last change : Tue Feb 3 14:52:33 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The list of examples */
-;*=====================================================================*/
+;;; examples.skb -- The list of examples
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Examples */
diff --git a/doc/user/figure.skb b/doc/user/figure.skb
index f6bfe8c..5998986 100644
--- a/doc/user/figure.skb
+++ b/doc/user/figure.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/figure.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Fri Sep 12 15:31:48 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe figures */
-;*=====================================================================*/
+;;; figure.skb -- Skribe figures
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Figure ... @label figure@ */
diff --git a/doc/user/font.skb b/doc/user/font.skb
index df0bfed..cd9ec88 100644
--- a/doc/user/font.skb
+++ b/doc/user/font.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/font.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Fri Sep 12 15:31:25 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe font */
-;*=====================================================================*/
+;;; font.skb -- Skribe font
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Font */
diff --git a/doc/user/footnote.skb b/doc/user/footnote.skb
index 43d6c3f..2326a30 100644
--- a/doc/user/footnote.skb
+++ b/doc/user/footnote.skb
@@ -1,13 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/footnote.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Sat Sep 6 15:43:24 2003 */
-;* Last change : Fri Sep 12 15:32:13 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe footnotes. */
-;*=====================================================================*/
+;;; footnote.skb -- Footnotes.
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;; Copyright 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.
;*---------------------------------------------------------------------*/
;* Footnote ... */
diff --git a/doc/user/htmle.skb b/doc/user/htmle.skb
index 90343b9..b28d7a0 100644
--- a/doc/user/htmle.skb
+++ b/doc/user/htmle.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/htmle.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 11:20:49 2003 */
-;* Last change : Wed Oct 27 12:05:53 2004 (eg) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The documentation of the html engine */
-;*=====================================================================*/
-;; @indent: (put 'doc-engine 'skribe-indent 'skribe-indent-function)@
+;;; htmle.skb -- The documentation of the html engine
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
;*---------------------------------------------------------------------*/
;* Document */
diff --git a/doc/user/image.skb b/doc/user/image.skb
index ce448df..f74da22 100644
--- a/doc/user/image.skb
+++ b/doc/user/image.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/image.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Sat Jan 17 18:08:15 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe images */
-;*=====================================================================*/
+;;; image.skb -- Skribe images
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Image ... @label image@ */
diff --git a/doc/user/index.skb b/doc/user/index.skb
index 862ff23..1a0d893 100644
--- a/doc/user/index.skb
+++ b/doc/user/index.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/index.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Sun Dec 2 10:02:56 2001 */
-;* Last change : Mon Feb 23 18:59:00 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe indexes */
-;*=====================================================================*/
+;;; index.skb -- Skribe indexes
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Index */
diff --git a/doc/user/justify.skb b/doc/user/justify.skb
index 94db7d5..9246e59 100644
--- a/doc/user/justify.skb
+++ b/doc/user/justify.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/justify.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 11:53:32 2003 */
-;* Last change : Fri Sep 12 15:31:31 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe justification */
-;*=====================================================================*/
+;;; justify.skb -- Skribe justification
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Justification */
diff --git a/doc/user/latexe.skb b/doc/user/latexe.skb
index 860bacd..feca728 100644
--- a/doc/user/latexe.skb
+++ b/doc/user/latexe.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/latexe.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 11:20:49 2003 */
-;* Last change : Tue Apr 6 06:28:59 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The documentation of the html engine */
-;*=====================================================================*/
-;; @indent: (put 'doc-engine 'skribe-indent 'skribe-indent-function)@
+;;; latexe.skb -- The documentation of the html engine
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
;*---------------------------------------------------------------------*/
;* Document */
diff --git a/doc/user/lib.skb b/doc/user/lib.skb
index 3a35687..0cdfe80 100644
--- a/doc/user/lib.skb
+++ b/doc/user/lib.skb
@@ -1,11 +1,22 @@
-;;;;
-;;;; Standard Library
-;;;;
-;;;;
-;;;; Author: Erick Gallesio [eg@essi.fr]
-;;;; Creation date: 21-Nov-2003 07:20 (eg)
-;;;; Last file update: 21-Nov-2003 10:17 (eg)
-
+;;; lib.skb -- Standard library.
+;;;
+;;; Copyright 2003 Erick Gallesio <eg@essi.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.
(chapter :title "Standard Library"
diff --git a/doc/user/line.skb b/doc/user/line.skb
index 85f84dd..3f9dab3 100644
--- a/doc/user/line.skb
+++ b/doc/user/line.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/line.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 4 10:08:08 2003 */
-;* Last change : Thu Sep 4 13:29:49 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Line breaks */
-;*=====================================================================*/
+;;; line.skb -- Line breaks
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Line breaks */
diff --git a/doc/user/links.skb b/doc/user/links.skb
index 96c5222..ae7301c 100644
--- a/doc/user/links.skb
+++ b/doc/user/links.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/links.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Thu Sep 11 06:10:44 2003 */
-;* Last change : Thu Feb 26 20:56:48 2004 (eg) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe links */
-;*=====================================================================*/
+;;; links.skb -- Skribe links
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Links and references */
diff --git a/doc/user/markup.skb b/doc/user/markup.skb
index 272bfbe..0348325 100644
--- a/doc/user/markup.skb
+++ b/doc/user/markup.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/markup.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Tue Sep 2 06:09:18 2003 */
-;* Last change : Wed Feb 4 06:11:45 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe standard markups */
-;*=====================================================================*/
+;;; markup.skb -- The Skribe standard markups
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* API */
diff --git a/doc/user/ornament.skb b/doc/user/ornament.skb
index e65b9d1..5fc2832 100644
--- a/doc/user/ornament.skb
+++ b/doc/user/ornament.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/ornament.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 14:00:52 2003 */
-;* Last change : Fri Sep 12 15:31:19 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The skribe ornaments */
-;*=====================================================================*/
+;;; ornament.skb -- The skribe ornaments
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Ornaments */
diff --git a/doc/user/package.skb b/doc/user/package.skb
index 19c99c9..816d322 100644
--- a/doc/user/package.skb
+++ b/doc/user/package.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/package.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Sat Feb 21 08:26:44 2004 */
-;* Last change : Fri Jun 3 16:51:30 2005 (serrano) */
-;* Copyright : 2004-05 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Packages */
-;*=====================================================================*/
+;;; package.skb -- Packages
+;;;
+;;; Copyright 2004, 2005 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Standard packages */
diff --git a/doc/user/pie.skb b/doc/user/pie.skb
index 477c3f7..ace37f2 100644
--- a/doc/user/pie.skb
+++ b/doc/user/pie.skb
@@ -1,3 +1,5 @@
+;;; pie.skb -- Pie charts.
+;;;
;;; Copyright 2006 Ludovic Courtès <ludovic.courtes@laas.fr>
;;;
;;;
diff --git a/doc/user/prgm.skb b/doc/user/prgm.skb
index c894614..6fb44c9 100644
--- a/doc/user/prgm.skb
+++ b/doc/user/prgm.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/prgm.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Nov 30 09:21:11 2001 */
-;* Last change : Wed Sep 22 02:11:49 2004 (serrano) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Computer programs */
-;*=====================================================================*/
+;;; prgm.skb -- Computer programs
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* fib ... */
diff --git a/doc/user/sectioning.skb b/doc/user/sectioning.skb
index 9d11d08..860821d 100644
--- a/doc/user/sectioning.skb
+++ b/doc/user/sectioning.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/sectioning.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 12:27:03 2003 */
-;* Last change : Tue Apr 6 06:45:28 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Sectioning markups */
-;*=====================================================================*/
+;;; sectioning.skb -- Sectioning markups
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* dummy-section-output ... */
diff --git a/doc/user/skribe-config.skb b/doc/user/skribe-config.skb
index e96e35b..7c5e4bb 100644
--- a/doc/user/skribe-config.skb
+++ b/doc/user/skribe-config.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/skribe-config.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Jan 2 21:12:24 2004 */
-;* Last change : Thu Sep 23 17:11:53 2004 (eg) */
-;* Copyright : 2004 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The skribe-config tool */
-;*=====================================================================*/
+;;; skribe-config.skb -- The skribe-config tool
+;;;
+;;; Copyright 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* The skribe-config tool */
diff --git a/doc/user/skribec.skb b/doc/user/skribec.skb
index cad8f35..9ea2fad 100644
--- a/doc/user/skribec.skb
+++ b/doc/user/skribec.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/skribec.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Nov 30 13:43:50 2001 */
-;* Last change : Thu Feb 26 20:58:26 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe compiler */
-;*=====================================================================*/
+;;; skribec.skb -- The Skribe compiler
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* The Skribe compiler */
diff --git a/doc/user/skribeinfo.skb b/doc/user/skribeinfo.skb
index 502cc73..6ce8f73 100644
--- a/doc/user/skribeinfo.skb
+++ b/doc/user/skribeinfo.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/skribeinfo.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Nov 30 13:43:50 2001 */
-;* Last change : Mon Dec 15 13:22:08 2003 (serrano) */
-;* Copyright : 2001-03 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribeinfo compiler */
-;*=====================================================================*/
+;;; skribeinfo.skb -- The Skribeinfo compiler
+;;;
+;;; Copyright 2001, 2002, 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* The Skribeinfo compiler */
diff --git a/doc/user/slide.skb b/doc/user/slide.skb
index a7d5263..3e903ad 100644
--- a/doc/user/slide.skb
+++ b/doc/user/slide.skb
@@ -1,14 +1,24 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/slide.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Jan 9 06:37:47 2004 */
-;* Last change : Thu Feb 26 21:00:04 2004 (eg) */
-;* Copyright : 2004 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Slides */
-;*=====================================================================*/
-(skribe-load "slide.skr")
+;;; slide.skb -- Slides
+;;;
+;;; Copyright 2004 Manuel Serrano
+;;; Copyright 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.
+
;*---------------------------------------------------------------------*/
;* dummy-slide-set-output ... */
diff --git a/doc/user/start.skb b/doc/user/start.skb
index d478a7e..0835b31 100644
--- a/doc/user/start.skb
+++ b/doc/user/start.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/start.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Mon Sep 1 11:22:25 2003 */
-;* Last change : Sun Feb 29 16:14:21 2004 (eg) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Getting started with Skribe */
-;*=====================================================================*/
+;;; start.skb -- Getting started with Skribe
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Getting started */
diff --git a/doc/user/syntax.skb b/doc/user/syntax.skb
index de60bd9..4b18d33 100644
--- a/doc/user/syntax.skb
+++ b/doc/user/syntax.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/syntax.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Nov 30 11:55:24 2001 */
-;* Last change : Sun Feb 29 16:14:53 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The syntax of Skribe */
-;*=====================================================================*/
+;;; syntax.skb -- The syntax of Skribe
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* The Skribe syntax */
diff --git a/doc/user/table.skb b/doc/user/table.skb
index a3cd75b..0408778 100644
--- a/doc/user/table.skb
+++ b/doc/user/table.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/table.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Fri Sep 5 13:45:18 2003 */
-;* Last change : Wed Oct 27 12:09:01 2004 (eg) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Skribe tables */
-;*=====================================================================*/
+;;; table.skb -- Skribe tables
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Table ... */
diff --git a/doc/user/toc.skb b/doc/user/toc.skb
index 657ed7c..9650951 100644
--- a/doc/user/toc.skb
+++ b/doc/user/toc.skb
@@ -1,13 +1,22 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/toc.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 13:01:03 2003 */
-;* Last change : Fri Sep 12 15:31:14 2003 (serrano) */
-;* Copyright : 2003 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* Table of contents */
-;*=====================================================================*/
+;;; toc.skb -- Table of contents
+;;;
+;;; Copyright 2003 Manuel Serrano
+;;;
+;;;
+;;; 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.
;*---------------------------------------------------------------------*/
;* Sectioning */
diff --git a/doc/user/user.skb b/doc/user/user.skb
index d1f9287..13fae63 100644
--- a/doc/user/user.skb
+++ b/doc/user/user.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/user.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Nov 28 10:37:39 2001 */
-;* Last change : Thu Feb 26 21:02:00 2004 (eg) */
-;* Copyright : 2001-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The Skribe user manual */
-;*=====================================================================*/
-
+;;; user.skb -- The Skribilo user manual.
+;;;
+;;; Copyright 2001, 2002, 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
;*---------------------------------------------------------------------*/
;* The Skribe documentation style */
;*---------------------------------------------------------------------*/
diff --git a/doc/user/xmle.skb b/doc/user/xmle.skb
index a1279c7..bd01db3 100644
--- a/doc/user/xmle.skb
+++ b/doc/user/xmle.skb
@@ -1,14 +1,23 @@
-;*=====================================================================*/
-;* serrano/prgm/project/skribe/doc/user/xmle.skb */
-;* ------------------------------------------------------------- */
-;* Author : Manuel Serrano */
-;* Creation : Wed Sep 3 11:20:49 2003 */
-;* Last change : Tue Apr 6 06:27:51 2004 (serrano) */
-;* Copyright : 2003-04 Manuel Serrano */
-;* ------------------------------------------------------------- */
-;* The documentation of the XML engine */
-;*=====================================================================*/
-;; @indent: (put 'doc-engine 'skribe-indent 'skribe-indent-function)@
+;;; xmle.skb -- The documentation of the XML engine
+;;;
+;;; Copyright 2003, 2004 Manuel Serrano
+;;;
+;;;
+;;; 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.
+
;*---------------------------------------------------------------------*/
;* Document */