On Mon, 8 Jun 2015 17:37:31 -0700 Anish Bhatt <anish@xxxxxxxxxxx> wrote: > The header install makefile creates an 'include' directory inside > INSTALL_HDR_PATH and appending include to the path results in headers > being installed to include/include. > > Don't recommend appending include to the path as makefile already does > this. Applied to the docs tree, thanks. jon -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in
