[PATCH 00/18] doc: misc improvements

[Tiago Vignatti]

On 04/01/2013 09:08 PM, Peter Hutterer wrote:
> About half of those are Tiago's patches that I took from the list/his repo
> that hadn't been merged yet. The rest are largely style fixes to improve on
> the html/pdf output generated by publican.

THANK YOU Peter!

> Possibly controversial: 14/18, renaming the source directory but imo it
> makes things a lot more obvious.

I agree with you. The "en_US" versus "en-US" is horrible to distinguish 
which one is which, so the way you changed is better and also, I don't 
think later we'll want to provide a language for the developer's 
document different than English.

Tiago