[PATCH v2 0/7] doc build updates and terminology definitions

Hi,

This contains both my previously posted build system tweaks and an
updated revision of the terminology patch I posted last week with a
further patch to tighten up the language in the Notifications section.

Alex BennÃe (7):
  README.md: convert html to proper Markdown format
  CONTRIBUTING.md: convert html to proper MarkDown
  LICENSE.md: convert html to proper MarkDown
  Makefile: add some simple make automations
  make-setup-generated: optionally add GIT metadata
  introduction.tex: introduce a glossary of terms
  content.tex: tighten up the definition of notification.

 CONTRIBUTING.md         |  22 ++--
 LICENSE.md              |   9 +-
 Makefile                |  26 ++++
 README.md               | 258 ++++++++++++++++------------------------
 content.tex             |   8 +-
 introduction.tex        |  21 ++++
 make-setup-generated.sh |  34 +++++-
 makehtml.sh             |   2 +-
 8 files changed, 194 insertions(+), 186 deletions(-)
 create mode 100644 Makefile

-- 
2.20.1