diff options
author | Ludovic Courtès | 2018-04-22 15:13:01 +0200 |
---|---|---|
committer | Ludovic Courtès | 2018-04-22 18:06:44 +0200 |
commit | 580a0527ea23a5ee94d36ac74b302ebb22342f9e (patch) | |
tree | de3be1c4cde217ea59d82b8ddfe6b5693bdd65ea /build-aux/config.rpath | |
parent | 4824e493cbe8bfcf50858299fd07fc1a4311fb7b (diff) | |
download | skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.tar.gz skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.tar.lz skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.zip |
doc: In HTML, 'prgm' and 'disp' presentation moved to CSS.
* doc/modules/skribilo/documentation/manual.scm (prgm): Add a case for
HTML.
(disp): Likewise.
* doc/user/skribilo.css (.skribilo-manual-prgm, .skribilo-manual-disp):
New items.
Diffstat (limited to 'build-aux/config.rpath')
0 files changed, 0 insertions, 0 deletions