1
 2
 3
 4
 5
 6
 7
 8
 9
10
// this is a dummy library just to make docs.rs render what I need
#![cfg_attr(
    feature = "documentation",
    doc = "See the [user documentation module](./doc/user/index.html) and in particular the [Getting Started Guide](./doc/user/getting_started/index.html)."
)]
#![cfg_attr(feature = "documentation", feature(external_doc))]

#[cfg(feature = "documentation")]
/// Documentation
pub mod doc;