summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorUlli Kehrle <ulli.kehrle@rwth-aachen.de>2018-11-08 13:17:41 +0100
committerUlli Kehrle <ulli.kehrle@rwth-aachen.de>2018-11-08 13:17:41 +0100
commit12c5e8a03fe7db036a2e432079f162317c1c7c68 (patch)
tree55665671231390043f6e0473b55966ae1f73709b /README.md
parent9470f7a21bde04823c8fa421be5de617ff551b2a (diff)
downloadsubgroup-ladders-12c5e8a03fe7db036a2e432079f162317c1c7c68.tar.gz
subgroup-ladders-12c5e8a03fe7db036a2e432079f162317c1c7c68.tar.xz
README: mention how to generate documentation
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
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