summary refs log tree commit diff
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))