diff options
| author | Ludovic Courtès | 2008-12-21 22:55:38 +0100 |
|---|---|---|
| committer | Ludovic Courtès | 2008-12-21 22:55:38 +0100 |
| commit | 1012103185f6bd282693f0efd85ca5e1fa841ade (patch) | |
| tree | 653986cb122fbb8fd9a9c766b13a377dc2dc6218 /doc/user/.gitignore | |
| parent | 8282c1c361322f3395f7a0cb0244d362b333e344 (diff) | |
| download | skribilo-1012103185f6bd282693f0efd85ca5e1fa841ade.tar.gz skribilo-1012103185f6bd282693f0efd85ca5e1fa841ade.tar.lz skribilo-1012103185f6bd282693f0efd85ca5e1fa841ade.zip | |
Add `--custom' option to `skribilo'.
* src/guile/skribilo.scm (skribilo-show-help): Update.
(%options)[#\c]: New option.
(%default-options)[:customs]: New option.
(skribilo): Handle it.
* doc/user/compiler.skb (Skribilo Compiler)[Options]: Add.
* NEWS: Update.
Diffstat (limited to 'doc/user/.gitignore')
0 files changed, 0 insertions, 0 deletions