From ebf08bec1db7b987c1acf15253b057c5575c29b3 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Mon, 31 Mar 2008 17:42:05 +0200
Subject: 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'.
---
 doc/modules/skribilo/documentation/manual.scm | 5 ++++-
 doc/user/Makefile.am                          | 2 +-
 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)
-- 
cgit v1.2.3