diff options
Diffstat (limited to 'doc/skr/env.skr')
-rw-r--r-- | doc/skr/env.skr | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/doc/skr/env.skr b/doc/skr/env.skr new file mode 100644 index 0000000..09d5146 --- /dev/null +++ b/doc/skr/env.skr @@ -0,0 +1,32 @@ +;*=====================================================================*/ +;* 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 *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))) |