Update rocq_id readme and zip

coq · Dec 15, 2024 · 2f1dce7 · 2f1dce7
1 parent 5bc9526
commit 2f1dce7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/rocq-id/README.md b/rocq-id/README.md
@@ -2,7 +2,7 @@
 
 Welcome to the ROCQ Identity Guidelines and Logos sub repository. This repository provides comprehensive guidance on the visual and branding standards for ROCQ. The ROCQ Identity Guidelines focus on maintaining consistency in the use of logos, typography, and color palettes. These standards are essential for creating a cohesive visual identity that represents the ROCQ community across all platforms and applications.
 
-> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id)
+> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id/rocq-logos.zip)
 
 > **Identity Guidelines**: [Rocq Id PDF](https://github.com/coq/rocq-prover.org/tree/main/rocq-id/ROCQ_ID-guidelines.pdf)
 

diff --git a/rocq-id/rocq-logos.zip b/rocq-id/rocq-logos.zip