diff options
author | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 15:34:03 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 15:35:56 +0200 |
commit | 39c076d3f9011307837d175d99ffccd960eccf63 (patch) | |
tree | 3b0c9172513fe21dee579b945741c357111955a4 | |
parent | ff8bc6ba9f5dc6dc7e831ccb11aa16734d9c41dd (diff) |
SETUP: tidy syntax slightly
-rw-r--r-- | SETUP.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -10,15 +10,15 @@ e.g. for public display. ## Prerequisites -To edit documentation files, +For reading or editing documentation files, you only need some plain-text editor (e.g. `nano`, `vim`, `emacs`, or `mcedit`), and `git` and `myrepos` to syncronize your changes with others: sudo apt install git myrepos -To generate a website from the collection of source files, -you additionally need `MKDocs` and some helper tools. +For generating website from the collection of source files, +you additionally need `MKDocs` and some helper tools: sudo apt install make w3c-linkchecker libtext-hogan-perl mkdocs |