Re: [PATCH] doc: really get rid of Documentation/ directory

2019-12-13 Thread Tom Rini
On Thu, Dec 12, 2019 at 02:38:23PM +, Rasmus Villemoes wrote: > Commit 656d8da9d2 (doc: Remove duplicated documentation directory) got > rid of most of Documentation/. But there's still an obviously useless > .gitignore left behind. > > Also, there's a copy of the linux kernel's

Re: [PATCH] doc: really get rid of Documentation/ directory

2019-12-12 Thread Simon Goldschmidt
On Thu, Dec 12, 2019 at 3:38 PM Rasmus Villemoes wrote: > > Commit 656d8da9d2 (doc: Remove duplicated documentation directory) got > rid of most of Documentation/. But there's still an obviously useless > .gitignore left behind. > > Also, there's a copy of the linux kernel's net/ethernet.txt

[PATCH] doc: really get rid of Documentation/ directory

2019-12-12 Thread Rasmus Villemoes
Commit 656d8da9d2 (doc: Remove duplicated documentation directory) got rid of most of Documentation/. But there's still an obviously useless .gitignore left behind. Also, there's a copy of the linux kernel's net/ethernet.txt binding imported from v5.0, while the existing one in doc/ is from