diff options
| author | Ludovic Courtès | 2018-04-29 23:24:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2018-04-29 23:41:13 +0200 |
| commit | b87514f1863a3f6231d3ccb4e785d03a4b179b6d (patch) | |
| tree | 37a08d8da1626e9032d0b88549f978f91f01e902 /doc/modules/skribilo/documentation/manual.scm | |
| parent | c51dc480fff9b99b2462000095cb56336b8c2410 (diff) | |
| download | skribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.tar.gz skribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.tar.lz skribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.zip | |
doc: Use the same CSS as the web site.
* web/static: Move to...
* doc/user/static: ... this.
* web/static: Turn into a symlink.
* doc/user/skribilo.css: Remove.
* doc/modules/skribilo/documentation/manual.scm: Use "static/manual.css"
instead of "skribilo.css".
* doc/user/Makefile.am (dist_html_DATA): Remove.
(nobase_dist_html_DATA): New variable.
* doc/user/static/manual.css: New file.
Diffstat (limited to 'doc/modules/skribilo/documentation/manual.scm')
| -rw-r--r-- | doc/modules/skribilo/documentation/manual.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/modules/skribilo/documentation/manual.scm b/doc/modules/skribilo/documentation/manual.scm index 93222d5..de298f7 100644 --- a/doc/modules/skribilo/documentation/manual.scm +++ b/doc/modules/skribilo/documentation/manual.scm @@ -133,7 +133,7 @@ (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 "static/manual.css") ;; Emit a SUI file. (engine-custom-set! he 'emit-sui #t)) |