Resolve "Make documentation multi-versioned" (!16) · Merge requests · JastAdd / RagConnect

Merged René Schöne requested to merge 41-make-documentation-multi-versioned into dev 3 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:08:41 3 years ago	Use mike for versioned documentation #11937 41-make-documentation-multi-versioned d00448b0		Stage: build Stage: test Stage: ragdoc_build	Download artifacts No artifacts found
Passed 00:08:57 3 years ago	Merge branch '20-extend-documentation-for-subtree-update-and-incremental-eval' into 'dev' #11936 41-make-documentation-multi-versioned 1cdde588		Stage: build Stage: test Stage: ragdoc_build	Download artifacts No artifacts found

Resolve "Make documentation multi-versioned"