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

From: Jonathan Corbet
Date: Tue Oct 18 2016 - 09:37:49 EST

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...:)