[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML out
From: |
Karl Berry |
Subject: |
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: |
Fri, 12 Dec 2014 23:39:54 GMT |
To the best of my knowledge, you can use --html or override MAKEINFO or
probably other things to get whatever css you want into the gendocs.sh
output. Feel free to do that for your own manuals.
I don't want to change the defaults in any such wholesale way. (I also
don't expect you to agree with that, but that's how I feel.)
k
- [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/11
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Pádraig Brady, 2014/12/11
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, rekado, 2014/12/11
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, rekado, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output,
Karl Berry <=
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/13
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Karl Berry, 2014/12/13
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Karl Berry, 2014/12/11