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