link to generated documentation in README.md

kth-step · Jan 15, 2024 · f0543df · f0543df
1 parent cf2c5e4
commit f0543df
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -45,4 +45,7 @@ make   # or make -j <number-of-cores-on-your-machine>
 
 ## Documentation
 
+- [latest technical report](https://kth-step.github.io/abs-metatheory/docs/report/main.pdf)
+- [latest coqdoc documentation](https://kth-step.github.io/abs-metatheory/docs/coqdoc/toc.html)
+
 See also [ABS Tools](https://github.com/abstools/abstools).
diff --git a/meta.yml b/meta.yml
@@ -68,5 +68,8 @@ build: |-
 documentation: |-
   ## Documentation
 
+  - [latest technical report](https://kth-step.github.io/abs-metatheory/docs/report/main.pdf)
+  - [latest coqdoc documentation](https://kth-step.github.io/abs-metatheory/docs/coqdoc/toc.html)
+
   See also [ABS Tools](https://github.com/abstools/abstools).
 ---