Adds the default Sphinx Makefile with vars SOURCEDIR and BUILDDIR set.
I need this file to exist because doctools needs to know the source and build paths.
Set values are consistent with the ones at documentation.sh.
Created it in the doc/sphinx/source path instead of doc/sphinx because it would be the only file at the latter path.
Also, includes repository var to conf.py, also used by doctools.
PR Type
[ ] Bug fix (change that fixes an issue)
[X] New feature (change that adds new functionality)
[ ] Breaking change (has dependencies in other repos or will cause CI to fail)
Pull Request Description
Adds the default Sphinx Makefile with vars
SOURCEDIR
andBUILDDIR
set. I need this file to exist because doctools needs to know the source and build paths. Set values are consistent with the ones at documentation.sh. Created it in thedoc/sphinx/source
path instead ofdoc/sphinx
because it would be the only file at the latter path. Also, includesrepository
var toconf.py
, also used by doctools.PR Type
PR Checklist