diff options
author | Federico Mena Quintero <federico@gnome.org> | 2022-12-13 15:03:47 -0600 |
---|---|---|
committer | Federico Mena Quintero <federico@gnome.org> | 2022-12-13 15:03:47 -0600 |
commit | 149be314f5bcd650165b8f71dd364c80f0d4d634 (patch) | |
tree | 7907d18f610125238c418821b915d577e731fa00 /.gitlab-ci.yml | |
parent | 23b7dbb0bef30be606eb7fc997b1670757ed505a (diff) | |
download | at-spi2-core-149be314f5bcd650165b8f71dd364c80f0d4d634.tar.gz |
devel-docs: Copy the rst source files to the build_dir to make sphinx happy
Sphinx doesn't seem to easily support these
* source_dir vs. build_dir
* generated files in build_dir...
* ... that get referenced from the sources in source_dir
We can hack around this by copying the source files to build_dir, next
to the generated files, and doing the build of the docs from there.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e959de65..5b104070 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -188,7 +188,7 @@ reference: - mkdir _reference - mv _build/doc/libatspi _reference/libatspi - mv _build/doc/atk _reference/atk - - mv _build/devel-docs/devel-docs _reference/devel-docs + - mv _build/devel-docs/html _reference/devel-docs artifacts: paths: - _reference |