diff options
| author | Ludovic Courtès | 2008-03-31 17:42:05 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2008-03-31 17:42:05 +0200 |
| commit | ebf08bec1db7b987c1acf15253b057c5575c29b3 (patch) | |
| tree | 9b9efdccf85689f4974a0272420caac5921184b5 /.gitignore | |
| parent | 32ac2083ec2bd39c9b1c4f3b5047dfb1b2b81e8d (diff) | |
| download | skribilo-ebf08bec1db7b987c1acf15253b057c5575c29b3.tar.gz skribilo-ebf08bec1db7b987c1acf15253b057c5575c29b3.tar.lz skribilo-ebf08bec1db7b987c1acf15253b057c5575c29b3.zip | |
doc: Produce and install a SUI file.
* doc/modules/skribilo/documentation/manual.scm: Set the `emit-sui'
custom to `#t'.
* doc/user/Makefile.am (html_DATA): Add `user.sui'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions