diff options
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/automake.mk | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Documentation/automake.mk b/Documentation/automake.mk index d76280751..b02d63e5f 100644 --- a/Documentation/automake.mk +++ b/Documentation/automake.mk @@ -1,7 +1,5 @@ -docs += \ - Documentation/group-selection-method-property.txt - EXTRA_DIST += \ + Documentation/group-selection-method-property.txt \ Documentation/_static/logo.png \ Documentation/conf.py \ Documentation/index.rst \ @@ -76,7 +74,7 @@ EXTRA_DIST += \ SPHINXOPTS = SPHINXBUILD = sphinx-build SPHINXSRCDIR = $(srcdir)/Documentation -SPHINXBUILDDIR = $(srcdir)/Documentation/_build +SPHINXBUILDDIR = $(builddir)/Documentation/_build # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 |