Add link to containers project (#1193)

Also renames `USERS.md` to `PROJECTS.md`. Co-authored-by: elisabethstenholm <[email protected]>
UniMath · Oct 10, 2024 · 633d73d · 633d73d
1 parent 10c1612
commit 633d73d
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -50,7 +50,7 @@ METAFILES := \
 	STATEMENT-OF-INCLUSION.md \
 	SUMMARY.md \
 	TEMPLATE.lagda.md \
-	USERS.md \
+	PROJECTS.md \
 	VISUALIZATION.md
 
 .PHONY: agdaFiles

diff --git a/USERS.md → PROJECTS.md b/USERS.md → PROJECTS.md
@@ -3,6 +3,7 @@
 Here is a list of projects that use the `agda-unimath` library:
 
 - <https://git.app.uib.no/hott/hott-set-theory>
+- <https://git.app.uib.no/hott/containers>
 
 If your project uses the `agda-unimath` library, let us know, so we can add your
 project to the list.
diff --git a/book.toml b/book.toml
@@ -39,7 +39,7 @@ suppress_processing = [
   "MAINTAINERS.md",
   "CONTRIBUTORS.md",
   "STATEMENT-OF-INCLUSION",
-  "USERS.md",
+  "PROJECTS.md",
   "GRANT-ACKNOWLEDGEMENTS.md",
   "SUMMARY.md",
   "ART.md",

diff --git a/scripts/generate_main_index_file.py b/scripts/generate_main_index_file.py
@@ -105,7 +105,7 @@ def generate_index(root_path):
   - [Maintainers](MAINTAINERS.md)
   - [Contributors](CONTRIBUTORS.md)
   - [Statement of inclusivity](STATEMENT-OF-INCLUSION.md)
-  - [Projects using Agda-Unimath](USERS.md)
+  - [Projects using Agda-Unimath](PROJECTS.md)
   - [Grant acknowledgements](GRANT-ACKNOWLEDGEMENTS.md)
 - [Guides](HOWTO-INSTALL.md)
   - [Installing the library](HOWTO-INSTALL.md)

diff --git a/website/js/custom.js b/website/js/custom.js
@@ -20,7 +20,7 @@ if (link) {
     'README.md',
     'STATEMENT-OF-INCLUSION.md',
     'SUMMARY.md',
-    'USERS.md',
+    'PROJECTS.md',
     'VISUALIZATION.md',
     'index.md',
   ];