Renaming Documentation/ [was [PATCH 00/32] Create an User's manual and improve development-process book]

[Jonathan Corbet]

On Tue, 18 Oct 2016 06:30:48 +0200
Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote:

> One Silly request of mine:
> 
> Is there a chance moving "./Documentation" to something shorter
> like "./doc"? Even with "Text completion" (in Emacs [1]), IMO 
> "Documentation" is to long.

I'd be entirely in favor of that.  It would require some pretty
widespread and high-level buy-in, though, including from the device-tree
folks.  That truly is something to raise at the kernel summit; if Linus
incinerates me, we'll know it's not going to happen...:)

jon