Remove ./docs directory from git

[lukasschwab]

Description

Cleans up #113. Create the docs directory only in CI, as an intermediate for gh-pages deploy as part of the docs.yml workflow.

Confirmed make -B docs succeeds after removing the docs directory.

Breaking changes

List any changes that break the API usage supported on master.

None.

Relevant issues

List GitHub issues relevant to this change.

• Follow up Adapt pdoc docs.yml docs-deploy workflow #113

Checklist

• (If appropriate) README.md example usage has been updated.