On Thu, Nov 17, 2016 at 3:07 AM, Arnd Bergmann <a...@arndb.de> wrote: > > [adding Linus for clarification] > > I understood the concern as being about binary files that you cannot > modify with classic 'patch', which is a separate issue.
No. That is how I *noticed* the issue. Those stupid pdf binary files have been around forever, I just didn't notice until the Fedora people started complaining about the patches. My real problem is not "binary" or even "editable", but SOURCE CODE. It's like including a "vmlinux" image in the git tree: sure, you can technically "edit" it with a hex editor, but that doesn't change the basic issue: it's not the original source code. I don't want to see generated binary crap. That goes for png, that goes for gif, that goes for pdf - and in fact that goes for svg *too*, if the actual source of the svg was something else, and it was generated from some other data. We have makefiles, but more importantly, few enough people actually *generate* the documentation, that I think if it's an option to just fix sphinx, we should do that instead. If it means that you have to have some development version of sphinx, so be it. Most people read the documentation either directly in the unprocessed text-files ("source code") or on the web (by searching for pre-formatted docs) that I really don't think we need to worry too much about the toolchain. But what we *should* worry about is having the kernel source tree contain source. Linus -- To unsubscribe from this list: send the line "unsubscribe linux-media" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html