change name of Documentation to docs

[River-Mochi]

MkDocs assumes /docs folder exists, it's hard coded to look for and set paths to /docs.
Over-write commands are available, user has to make sure to check and fix things with special commands to alternate desired directories to ensure all the mkdoc's features work as intended.

• /Documentation to /docs
• /images to /docs/img (needed to add favicon, reference )

reference:

• "Edit on github" expects "docs" for content location and ignores "docs_dir" value mkdocs/mkdocs#1675
• https://www.mkdocs.org/getting-started/#changing-the-favicon-icon

Just something to consider if you want stuff to "automatically" work without fuss.

[ia]

Hello. I just exactly work these days on rearranging some files/directories inside the repository. So I decided to bring this report up before merge will be accepted. Since some changes are coming anyway, this issue can be addressed & resolved as well. However, I've read your report, and both of the provided links. But I don't see any issue here to be honest with you. So, could you, please, be more specific, why exactly Documentation should be renamed?

Because the way how it works now (thanks to your help as I can see) - there are/[will be] already valid configuration files:

• current mkdocs.yml / future scripts/IronOS-mkdocs.yml
• .github/workflows/docs.yml

And while I was testing changes, I can confirm that now simple run of
mkdocs build -f scripts/IronOS-mkdocs.yml -d ../site
generates local static documentation in local site/ directory and
mkdocs gh-deploy -f scripts/IronOS-mkdocs.yml -d ../site
deploys it successfully online even for a forked repo in a fully automagical way.

So... what is the issue now exactly? Is this report still valid? Just very curious now. Thanks.