summaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
authorLudovic Courtès2008-03-31 17:42:05 +0200
committerLudovic Courtès2008-03-31 17:42:05 +0200
commitebf08bec1db7b987c1acf15253b057c5575c29b3 (patch)
tree9b9efdccf85689f4974a0272420caac5921184b5 /doc/user
parent32ac2083ec2bd39c9b1c4f3b5047dfb1b2b81e8d (diff)
downloadskribilo-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.am2
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)