Function titleFromLibrary

src/navigation.ts:105–107

(doc: LibraryDocumentSummary)

};

function titleFromLibrary(doc: LibraryDocumentSummary): string {
  return doc.title || path.basename(doc.relPath, path.extname(doc.relPath));
}

function libraryEntry(doc: LibraryDocumentSummary, place: NavigationPlace = 'library'): NavigationEntry {
  return {