summaryrefslogtreecommitdiff
path: root/doc/user/compiler.skb
diff options
context:
space:
mode:
authorLudovic Courtès2008-02-01 13:22:53 +0100
committerLudovic Courtès2008-02-01 13:22:53 +0100
commit654ba1f34b7661a81b0ce720040f17591f79b552 (patch)
tree29494a96d907e1e27f3e79e088a99002429a74ad /doc/user/compiler.skb
parent0e2a5636d9e0bb90c3e98cc472e454fe05221dd9 (diff)
downloadskribilo-654ba1f34b7661a81b0ce720040f17591f79b552.tar.gz
skribilo-654ba1f34b7661a81b0ce720040f17591f79b552.tar.lz
skribilo-654ba1f34b7661a81b0ce720040f17591f79b552.zip
doc: Various insignificant cleanups.
Diffstat (limited to 'doc/user/compiler.skb')
-rw-r--r--doc/user/compiler.skb7
1 files changed, 3 insertions, 4 deletions
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