1 2 3
pub const ALL_DOC_FILENAME: &str = "all.html"; pub const INDEX_FILENAME: &str = "index.html"; pub const IDENTITY: &str = "#";