diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2023-01-24 18:01:00 +0000 |
|---|---|---|
| committer | Alex Bennée <alex.bennee@linaro.org> | 2023-02-02 10:44:23 +0000 |
| commit | d89935c95e5ba7e2685da71e4756fa63fde764af (patch) | |
| tree | 13dba2261ced232fb44396ab5f8572895894ee5b /.gitlab-ci.d | |
| parent | ec91e923784df086bdb3bd39569203524aa75875 (diff) | |
docs: drop texinfo options
It looks like this is no longer wanted, we only build the html output.
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Message-Id: <20230110132700.833690-6-marcandre.lureau@redhat.com>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <20230124180127.1881110-9-alex.bennee@linaro.org>
Diffstat (limited to '.gitlab-ci.d')
0 files changed, 0 insertions, 0 deletions