From 654ba1f34b7661a81b0ce720040f17591f79b552 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Fri, 1 Feb 2008 13:22:53 +0100
Subject: doc: Various insignificant cleanups.

---
 doc/user/compiler.skb | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'doc/user/compiler.skb')

diff --git a/doc/user/compiler.skb b/doc/user/compiler.skb
index cde7331..572bcef 100644
--- a/doc/user/compiler.skb
+++ b/doc/user/compiler.skb
@@ -82,10 +82,9 @@ the output format.  For details on engines and for a list of supported
 engines, see ,(numref :text [Chapter] :ident "engines").])
 	`("compat" "compat" ,[Use ,(tt "compat") as the compatibility
 mode.  This defaults to ,(tt [skribilo]).  Specifying ,(tt [skribe])
-enables the ,(ref :text [Skribe] :url
-"http://www-sop.inria.fr/mimosa/fp/Skribe/") compatibility mode, making
-it possible to compile most Skribe documents.  Technically, the ,(tt
-[skribe]) compatibility mode populates the name space of Skribilo
+enables the ,(ref :text [Skribe] :url *skribe-url*) compatibility mode,
+making it possible to compile most Skribe documents.  Technically, the
+,(tt [skribe]) compatibility mode populates the name space of Skribilo
 documents with bindings available to Skribe documents and that are not
 available by default to Skribilo documents,(footnote [Skribe uses a
 single name space for all the code of packages, documents, in addition
-- 
cgit v1.2.3