summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/skr/env.skr1
-rw-r--r--doc/user/user.skb13
2 files changed, 5 insertions, 9 deletions
diff --git a/doc/skr/env.skr b/doc/skr/env.skr
index 09d5146..463b997 100644
--- a/doc/skr/env.skr
+++ b/doc/skr/env.skr
@@ -11,6 +11,7 @@
 
 (define *serrano-url* "http://www.inria.fr/mimosa/Manuel.Serrano")
 (define *serrano-mail* "Manuel.Serrano@sophia.inria.fr")
+(define *courtes-mail* "ludovic.courtes@laas.fr")
 (define *html-url* "http://www.w3.org/TR/html4")
 (define *html-form* "interact/forms.html")
 (define *emacs-url* "http://www.gnu.org/software/emacs")
diff --git a/doc/user/user.skb b/doc/user/user.skb
index 3710be9..334dd5c 100644
--- a/doc/user/user.skb
+++ b/doc/user/user.skb
@@ -40,17 +40,12 @@
    :env '((example-counter 0) (example-env ()))
    :author (list (author :name "Erick Gallesio"
 		    :affiliation "Université de Nice - Sophia Antipolis"
-		    :address '("930 route des Colles, BP 145"
-			       "F-06903 Sophia Antipolis, Cedex"
-			       "France")
 		    :email (mailto "eg@essi.fr"))
 		 (author :name "Manuel Serrano"
 		    :affiliation "Inria Sophia-Antipolis"
-		    :address `("2004 route des Lucioles - BP 93"
-			       "F-06902 Sophia Antipolis, Cedex"
-			       "France")
-		    :url (ref :url *serrano-url*)
-		    :email (mailto *serrano-mail*)))
+		    :email (mailto *serrano-mail*))
+		 (author :name "Ludovic Courtès"
+		    :email (mailto *courtes-mail*)))
    
    (linebreak 1)
    (center (frame (bold (font :size 1. [
@@ -120,7 +115,7 @@ as HTML, Info pages, man pages, Postscript, etc.]))))
 (include "bib.skb")
 
 ;;; Computer programs
-(include "prgm.skb")
+;;(include "prgm.skb")
 
 ;;; Standard Library
 (include "lib.skb")