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
