Move doc/ to src/doc/
We generate documentation into the doc/ directory, so we shouldn't be intermingling source files with generated files
This commit is contained in:
parent
2ff16b1849
commit
864b434bfa
43 changed files with 0 additions and 0 deletions
Loading…
Reference in a new issue