diff options
author | 2021-01-17 23:09:37 +0100 | |
---|---|---|
committer | 2021-01-17 23:09:37 +0100 | |
commit | c92ff87eb8afef815d6f39c78579392f893967d0 (patch) | |
tree | 6cda14b514fd22a99a5813b4a886d740ca6c863d /tasks-reference | |
parent | Update copyright years (diff) | |
download | devmanual-c92ff87eb8afef815d6f39c78579392f893967d0.tar.gz devmanual-c92ff87eb8afef815d6f39c78579392f893967d0.tar.bz2 devmanual-c92ff87eb8afef815d6f39c78579392f893967d0.zip |
Makefile: Call build_search_documents.py with python3 explicitly
Bug: https://bugs.gentoo.org/765826
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tasks-reference')
0 files changed, 0 insertions, 0 deletions