tree 2a2edd64ea776ce3579d2db6828ff8b30e61a15a
parent e4d6583aa6ccb51fab9d9b89d9393843ae2bf199
author Thomas Bechtold <tbechtold@suse.com> 1567500531 +0200
committer Thomas Bechtold <tbechtold@suse.com> 1567500581 +0200

Drop "docs" tox target and the docs integration

There is no docs/ directory so trying to build the documentation with
"tox -e docs" fails.

Change-Id: I194d9e04d74e6d7341d4d0b3bc184b94ffd3edfb