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 /doc/user/src/api10.skb | |
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 'doc/user/src/api10.skb')
0 files changed, 0 insertions, 0 deletions