doc: add needed script to EXTRA_DIST

The script is needed to build the documentation,
so it should be included in the dist tarballs.
This commit is contained in:
Marvin Scholz 2022-03-22 22:38:14 +01:00 committed by Hugo Beauzée-Luyssen
parent 9c6922e935
commit 550ef5634b
1 changed files with 1 additions and 0 deletions

View File

@ -73,6 +73,7 @@ EXTRA_DIST = \
strings.txt \
translations.txt \
demo.sh \
doc_helper.sh \
$(NULL)
DISTCLEANFILES = Doxyfile