diff options
| -rw-r--r-- | SETUP.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -13,16 +13,16 @@ e.g. for public display. To edit documentation files, you only need some plain-text editor (e.g. `nano`, `vim`, `emacs`, or `mcedit`), -and `git` to syncronize your changes with others: +and `git` and `myrepos` to syncronize your changes with others: - sudo apt install git + sudo apt install git myrepos To generate a website from the collection of source files, -you additionally need `Make` and `MKDocs` +you additionally need `MKDocs` and some helper tools (but you don't need `LESS` which gets included by default, so can suppress installing that): - sudo apt install make mkdocs less- + sudo apt install make w3c-linkchecker libtext-hogan-perl mkdocs less- (if you use LESS elsewhere on your system, then skip the `less-` part of above command). |