blob: 463b99720920d6604c35316c2916aafc603b6cf0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
;*=====================================================================*/
;* 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. */
;*=====================================================================*/
(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")
(define *xemacs-url* "http://www.xemacs.org")
(define *texinfo-url* "http://www.texinfo.org")
(define *r5rs-url* "http://www.inria.fr/mimosa/fp/Bigloo/doc/r5rs.html")
(define *bigloo-url* "http://www.inria.fr/mimosa/fp/Bigloo")
(define *skribe-user-doc-url* (string-append (skribe-doc-dir) "/user.html"))
(define *skribe-dir-doc-url* (string-append (skribe-doc-dir) "/dir.html"))
(define *prgm-width* 97.)
(define *prgm-skribe-color* "#ffffcc")
(define *prgm-default-color* "#ffffcc")
(define *prgm-xml-color* "#ffcccc")
(define *prgm-example-color* "#ccccff")
(define *disp-color* "#ccffcc")
(define *header-color* "#cccccc")
(define *api-engines* (map find-engine '(html latex xml)))
|
