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 | |
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'.
-rw-r--r-- | doc/modules/skribilo/documentation/manual.scm | 5 | ||||
-rw-r--r-- | 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) |