From 113d85f0308d4ce8d1452489b79461bf8d84e05f Mon Sep 17 00:00:00 2001
From: loutr <l.ta-ma@proton.me>
Date: Sat, 3 Dec 2022 15:21:22 +0100
Subject: [PATCH] doc(all): add Proost logo

---
 kernel/src/lib.rs  | 4 ++++
 parser/src/lib.rs  | 4 ++++
 proost/src/main.rs | 3 +++
 3 files changed, 11 insertions(+)

diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs
index 19c5a3ed..9f590f47 100644
--- a/kernel/src/lib.rs
+++ b/kernel/src/lib.rs
@@ -1,3 +1,7 @@
+#![doc(
+    html_logo_url = "https://gitlab.crans.org/loutr/proost/-/raw/48-first-release-preparations/docs/media/logo.png"
+)]
+
 //! A kernel for the calculus of constructions.
 //!
 //! Terms can be built with functions from the [`term`] module. This module also provides essential
diff --git a/parser/src/lib.rs b/parser/src/lib.rs
index cc0a8d19..2674a374 100644
--- a/parser/src/lib.rs
+++ b/parser/src/lib.rs
@@ -1,3 +1,7 @@
+#![doc(
+    html_logo_url = "https://gitlab.crans.org/loutr/proost/-/raw/48-first-release-preparations/docs/media/logo.png"
+)]
+
 //! Fast parser for λ-terms and commands using pest.
 //! Provides functions to parse files and single commands.
 
diff --git a/proost/src/main.rs b/proost/src/main.rs
index 8c45a2dd..e410f480 100644
--- a/proost/src/main.rs
+++ b/proost/src/main.rs
@@ -1,3 +1,6 @@
+#![doc(
+    html_logo_url = "https://gitlab.crans.org/loutr/proost/-/raw/48-first-release-preparations/docs/media/logo.png"
+)]
 #![feature(let_chains)]
 
 mod error;
-- 
GitLab