diff options
| author | Ludovic Courtes | 2006-03-07 21:25:37 +0000 |
|---|---|---|
| committer | Ludovic Courtes | 2006-03-07 21:25:37 +0000 |
| commit | fc4718ee543e56a2da5271ced8be371b22b70322 (patch) | |
| tree | d0dd8b413baeb3d817b75c361991cf6aca964eb3 /doc/skr/manual.skr | |
| parent | bc9090d69ebe3c2612efd830b859d4c1c896aae0 (diff) | |
| parent | fa0b07b863a029896688805f411fc7e361f837f0 (diff) | |
| download | skribilo-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/manual.skr')
| -rw-r--r-- | doc/skr/manual.skr | 5 |
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)) |