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