blob: e96e35b861f94f31b78e44a9db82b1b0df0f06c7 (
about) (
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
45
46
|
;*=====================================================================*/
;* 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 (FIXME)
; (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)))))))])
)
|
