diff options
author | Ludovic Courtès | 2008-01-22 17:09:45 +0100 |
---|---|---|
committer | Ludovic Courtès | 2008-01-22 17:09:45 +0100 |
commit | afc4870d9d13c217cfbbff2c68fa658fb3ef274e (patch) | |
tree | ac6a41d95dd0210cc979f2e0139f860bbdf6dac4 /doc/user/.gitignore | |
parent | 5607c3d7c973fe2a63d346e891baf80b80b675ab (diff) | |
download | skribilo-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/.gitignore')
0 files changed, 0 insertions, 0 deletions