Dear devs,

The new mkdocs version of the manual is now the develop branch of the manual on github. The other branches are locked (read only). Each time a commit is pushed on this develop branch, a CI action is launched and the result is visible here: https://csound.com/manual/

I noticed  a continuous-integration/appveyor/branch error. Is this appveyor build still needed?

Regards

François