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 | |
| 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')
| -rw-r--r-- | doc/user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index 9ff8880..44f32f4 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -25,7 +25,7 @@ EXTRA_DIST += src/api1.skb \ src/outline.txt src/scheme.scm -html_DATA = user.html +html_DATA = user.html user.sui dist_html_DATA = skribilo.css BUILT_SOURCES = lout/front-page.lout CLEANFILES = $(BUILT_SOURCES) $(html_DATA) |