diff options
| author | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
| commit | fc42fe56a57eace2dbdb31574c2e161f0eacf839 (patch) | |
| tree | 18111570156cb0e3df0d81c8d104517a2263fd2c /doc/user/skribe-config.skb | |
| download | skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.gz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.lz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.zip | |
Initial import of Skribe 1.2d.
Initial import of Skribe 1.2d.
git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--base-0
Diffstat (limited to 'doc/user/skribe-config.skb')
| -rw-r--r-- | doc/user/skribe-config.skb | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/doc/user/skribe-config.skb b/doc/user/skribe-config.skb new file mode 100644 index 0000000..956af63 --- /dev/null +++ b/doc/user/skribe-config.skb @@ -0,0 +1,44 @@ +;*=====================================================================*/ +;* serrano/prgm/project/skribe/doc/user/skribe-config.skb */ +;* ------------------------------------------------------------- */ +;* Author : Manuel Serrano */ +;* Creation : Fri Jan 2 21:12:24 2004 */ +;* Last change : Thu Sep 23 17:11:53 2004 (eg) */ +;* Copyright : 2004 Manuel Serrano */ +;* ------------------------------------------------------------- */ +;* The skribe-config tool */ +;*=====================================================================*/ + +;*---------------------------------------------------------------------*/ +;* The skribe-config tool */ +;*---------------------------------------------------------------------*/ +(chapter :title "Getting Skribe configuration information" +(index "skribe-config") + +(p [ +In this chapter we present ,(code "skribe-config") that gives +information about the current Skribe configuration.]) + +;; Synopsis +(section :title "SYNOPSIS" :number #f +(compiler-command "skribe-config" "options")) + +;; Description +(section :title "DESCRIPTION" :number #f [ +The ,(code "skribe-config") gives information about the Skribe configuration. +This information can be the directories used to install Skribe, the Scheme +implementation used for compiling Skribe, etc.]) + +;; Options +(section :title "OPTIONS" :number #f [ +,(pre (let* ((proc (run-process "../etc/skribe-config" "--help" error: pipe:)) + (port (process-error-port proc))) + (let loop ((line (read-line port)) + (lines '())) + (if (eof-object? line) + (reverse! lines) + (begin + (loop (read-line port) (cons* line "\n" lines)))))))])) + + + |