summaryrefslogtreecommitdiff
path: root/doc/user/Makefile.am
diff options
context:
space:
mode:
authorLudovic Courtès2008-01-22 17:09:45 +0100
committerLudovic Courtès2008-01-22 17:09:45 +0100
commitafc4870d9d13c217cfbbff2c68fa658fb3ef274e (patch)
treeac6a41d95dd0210cc979f2e0139f860bbdf6dac4 /doc/user/Makefile.am
parent5607c3d7c973fe2a63d346e891baf80b80b675ab (diff)
downloadskribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.tar.gz
skribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.tar.lz
skribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.zip
doc: Use CSS style sheet in HTML output.
* doc/modules/skribilo/documentation/manual.scm: Set `css' custom of the HTML engine. Explicitly initialize the `chapter-file', etc., customs. * doc/user/Makefile.am (dist_html_DATA): New. * doc/user/skribilo.css: New file.
Diffstat (limited to 'doc/user/Makefile.am')
-rw-r--r--doc/user/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am
index d71c5a4..4f0e16f 100644
--- a/doc/user/Makefile.am
+++ b/doc/user/Makefile.am
@@ -25,6 +25,7 @@ EXTRA_DIST += src/api1.skb \
BUILT_SOURCES = doc-config.scm
html_DATA = user.html
+dist_html_DATA = skribilo.css
CLEANFILES = $(BUILT_SOURCES) $(html_DATA)
skribilo = $(top_builddir)/src/pre-inst-skribilo