docs: Add rustdoc header lines as expected by the format

These are rendered in the rustdoc crate overview sidebar.

3 files changed, 6 insertions, 0 deletions

diff --git a/finito-core/src/lib.rs b/finito-core/src/lib.rs
index 0fdb2bd912b8..2f27a2bdf958 100644
--- a/finito-core/src/lib.rs
+++ b/finito-core/src/lib.rs
@@ -1,3 +1,5 @@
+//! Finito's core finite-state machine abstraction.
+//!
 //! # What & why?
 //!
 //! Most processes that occur in software applications can be modeled
diff --git a/finito-door/src/lib.rs b/finito-door/src/lib.rs
index 0137a6026a78..296ce72b26d6 100644
--- a/finito-door/src/lib.rs
+++ b/finito-door/src/lib.rs
@@ -1,3 +1,5 @@
+//! Example implementation of a lockable door in Finito
+//!
 //! # What & why?
 //!
 //! This module serves as a (hopefully simple) example of how to
diff --git a/finito-postgres/src/lib.rs b/finito-postgres/src/lib.rs
index 152592405534..b7a0c4540f74 100644
--- a/finito-postgres/src/lib.rs
+++ b/finito-postgres/src/lib.rs
@@ -1,3 +1,5 @@
+//! PostgreSQL-backed persistence for Finito state machines
+//!
 //! This module implements ... TODO when I can write again.
 
 #[macro_use] extern crate postgres;