From 12c5e8a03fe7db036a2e432079f162317c1c7c68 Mon Sep 17 00:00:00 2001 From: Ulli Kehrle Date: Thu, 8 Nov 2018 13:17:41 +0100 Subject: README: mention how to generate documentation --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index bfe9bec..d898268 100644 --- a/README.md +++ b/README.md @@ -47,6 +47,7 @@ install and use it, resp. where to find out more ## Documentation The documentation of this package is available as [HTML](https://hrnz.li/subgroupladders) and as a [PDF](https://hrnz.li/subgroupladders/manual.pdf). +It can also be generated locally with `gap makedoc.g`. ## Contact -- cgit v1.2.3-24-g4f1b