Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

>> It assumes that would be copied to >> as a starting point. > > Seems like a good idea to me. > Projects can override this if they want. > > We can merge this after the global css is in place. FWIW, I created a simple style s

Re: [bug-libunistring] [PATCH]:libunistring patch for RHEL7

umerqayam writes: > Description: > Testcase libunistring is failing in its subtest ( libunistring-0.9.3/tests/ > unicase/test-locale-language.sh ) test-locale-language.sh, the reason was all > its code was using UTF8 encoding format some how in the beginning some section > was not implemented t

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

I don't agree with changing the default css in gendocs.sh. (And I also don't want to debate it, sorry.) If you want to do that for your manuals, you can use --html or override MAKEINFO or probably other things. k

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

On 11/12/14 15:59, Ludovic Courtès wrote: > The patch below intends to make on-line manuals prettier by default, and > to make it easier to change their style in the future. > > It assumes that would be copied to > as a startin

[PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

The patch below intends to make on-line manuals prettier by default, and to make it easier to change their style in the future. It assumes that would be copied to as a starting point. WDYT? Thanks, Ludo’. >From 92cdbab74daf7