2 Commits

Author	SHA1	Message	Date
Zygo Blaxell	012219bbfb	docs: derive docs/index.md from README.md ... The two files are identical except README.md links to docs/* while index.md links to *. A sed script can do that transformation, so use sed to do it. This does modify a file in git, but this is necessary to make all the Github views work consistently. Signed-off-by: Zygo Blaxell <bees@furryterror.org>	2018-11-22 21:21:29 -05:00
Zygo Blaxell	e8298570ed	README: split into sections, reformat for github.io ... Split the rather large README into smaller sections with a pitch and a ToC at the top. Move the sections into docs/ so that Github Pages can read them. 'make doc' produces a local HTML tree. Update the kernel bugs and gotchas list. Add some information that has been accumulating in Github comments. Remove information about bugs in kernels earlier than 4.14. Signed-off-by: Zygo Blaxell <bees@furryterror.org>	2018-10-02 03:41:31 -04:00