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

[Theodore Ts'o]

On Tue, Oct 18, 2016 at 07:37:34AM -0600, Jonathan Corbet wrote:
> 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...:)

In the meantime, simply dropping in a symlink is a convenient shortcut
for individual developers (for example, I have a symlink at the
top-level from patches to .git/patches/origin to make accessing my
guilt patch stack more convenient).

					- Ted