[PATCH 00/10] "documentation" improvements.

[Denis 'GNUtoo' Carikli]

Hi,

This patchset consist mainly of "documentation" that is very diverse:

* The website patches "document" better what kind of contributions are
  welcome in GNU Boot, the git history, how to add support for more
  computers and what are our main usability blockers. It also fixes an
  issue in the FAQ.

* The small fix in build fixes its "documentation" in its help.

* The copyright headers improvements also "document" who contributed to
  specific files.

Denis 'GNUtoo' Carikli (10):
  website: clarify that patches are not the only way to contribute.
  website: lighttpd.conf: sort mimetype alphabetically.
  website: add history page of the GNU Boot git repositories.
  website: faq: Add entry about how to support more computers.
  website: faq: Puri.sm: remove hardware recommendation.
  website: status: Add usability bugs.
  grub.cfg: Add copyright header.
  resources: packages: src: release: Update copyright header.
  build: Update copyright header.
  build: replace non-working example.

 build                               |   7 +-
 resources/grub/config/grub.cfg      |  18 ++++
 resources/packages/src/release      |   4 +-
 website/Makefile.am                 |  16 ++--
 website/history/git-history.dot     | 133 ++++++++++++++++++++++++++++
 website/history/git-history.jpg     | Bin 0 -> 565741 bytes
 website/lighttpd.conf.tmpl          |  17 ++--
 website/pages/docs/history/index.md | 103 +++++++++++++++++++++
 website/pages/docs/index.md         |   1 +
 website/pages/faq.md                |  62 ++++++++++++-
 website/pages/git.md                |   4 +-
 website/pages/status.md             |  22 +++++
 website/pages/template.include      |   4 +-
 13 files changed, 369 insertions(+), 22 deletions(-)
 create mode 100644 website/history/git-history.dot
 create mode 100644 website/history/git-history.jpg
 create mode 100644 website/pages/docs/history/index.md

-- 
2.45.2