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 /src/pre-inst-skribilo.in | |
| 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 'src/pre-inst-skribilo.in')
0 files changed, 0 insertions, 0 deletions