switch the docu system from foswiki to sphinx.

This commit is contained in:
2018-07-03 18:50:09 +02:00
parent 7c9b871792
commit 1c24cd659d
370 changed files with 33743 additions and 8051 deletions

1
doc/html/searchindex.js Normal file

File diff suppressed because one or more lines are too long