blob: 956af632eb875cdb95aaae14d8e89ab593653963 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
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)))))))]))
|
