Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Pull request checklist
Make sure you:
For non-trivial changes, please make sure you also:
Short description of the change(s)
This fixes a bunch of issues related to documentation.
I'm renaming a section in the docs entirely that all the packages point to (the .hintrc one). We also have a problem with the documentation in the site not showing the main page for subsections (and that page is now a main one). I'm going to work on that thing next but still will need to update the links from all the packages. I still haven't decide how to solve that because we need to make sure everything rests accessible. I'll continue the discussion over there so maybe review and wait until that one is merged?
referenced this pull request
Oct 23, 2018
Added some links where we edited the same documentation in parallel PRs so we can compare before merging.
Just a few edits.
Also, do we call out the ability to run against the filesystem somewhere? Not sure it's part of these changes, but I don't recall seeing that anywhere in the docs (all the examples I remember pointed
hint at a public URL).