sematic
sematic copied to clipboard
Remove Sphinx references
Sphinx has been deprecated in favor of GitBook. All the .rst
and make file targets which refer Sphinx should be removed.