Added a GPL header to the documentation files (license confirmed by Manuel Serrano).

git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-50

1 files changed, 19 insertions, 10 deletions

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")