aboutsummaryrefslogtreecommitdiff
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
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'.
-rw-r--r--doc/modules/skribilo/documentation/manual.scm5
-rw-r--r--doc/user/Makefile.am2
2 files changed, 5 insertions, 2 deletions
diff --git a/doc/modules/skribilo/documentation/manual.scm b/doc/modules/skribilo/documentation/manual.scm
index bc8fc8a..3ac1386 100644
--- a/doc/modules/skribilo/documentation/manual.scm
+++ b/doc/modules/skribilo/documentation/manual.scm
@@ -136,7 +136,10 @@
(engine-custom-set! he 'subsection-file #f)
(engine-custom-set! he 'subsubsection-file #f)
- (engine-custom-set! he 'css "skribilo.css"))
+ (engine-custom-set! he 'css "skribilo.css")
+
+ ;; Emit a SUI file.
+ (engine-custom-set! he 'emit-sui #t))
;*---------------------------------------------------------------------*/
;* LaTeX */
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)