Manual


    • ⚙ Manage files

    Manage files

    Add or remove source documents (pdf, md, markdown, txt). Each change re-indexes and rebuilds the manual.