summaryrefslogtreecommitdiff
path: root/doc/skr
diff options
context:
space:
mode:
authorLudovic Courtes2006-03-07 21:25:37 +0000
committerLudovic Courtes2006-03-07 21:25:37 +0000
commitfc4718ee543e56a2da5271ced8be371b22b70322 (patch)
treed0dd8b413baeb3d817b75c361991cf6aca964eb3 /doc/skr
parentbc9090d69ebe3c2612efd830b859d4c1c896aae0 (diff)
parentfa0b07b863a029896688805f411fc7e361f837f0 (diff)
downloadskribilo-fc4718ee543e56a2da5271ced8be371b22b70322.tar.gz
skribilo-fc4718ee543e56a2da5271ced8be371b22b70322.tar.lz
skribilo-fc4718ee543e56a2da5271ced8be371b22b70322.zip
Merge from lcourtes@laas.fr--2004-libre
Patches applied: * lcourtes@laas.fr--2004-libre/skribilo--devel--1.2 (patch 60-62) - Slightly optimized the resolution process (added `ast-resolved?'). - Various fixes in the documentation code. - Lout engine: use `push-default-engine' and `pop-default-engine'. git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-38
Diffstat (limited to 'doc/skr')
-rw-r--r--doc/skr/manual.skr5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/skr/manual.skr b/doc/skr/manual.skr
index e6b7d64..f8b022c 100644
--- a/doc/skr/manual.skr
+++ b/doc/skr/manual.skr
@@ -22,7 +22,8 @@
(skribe-eval (mark ident) e)
(skribe-eval (center
(markup-body n)
- (if number (bold (format "Ex. ~a: " number)))
+ (if number
+ (bold (format #f "Ex. ~a: " number)))
legend)
e)))))
@@ -279,7 +280,7 @@
;*---------------------------------------------------------------------*/
(define-markup (compiler-options bin)
(skribe-message " [executing: ~a --options]\n" bin)
- (let ((port (open-input-file (format "| ~a --options" bin))))
+ (let ((port (open-input-file (format #f "| ~a --options" bin))))
(let ((opts (read port)))
(close-input-port port)
(apply description (map (lambda (opt) (item :key (bold (car opt))