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 /skribe/src/bigloo/api.bgl | |
| 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 'skribe/src/bigloo/api.bgl')
0 files changed, 0 insertions, 0 deletions