doc: add needed script to EXTRA_DIST
The script is needed to build the documentation, so it should be included in the dist tarballs.
Edited by Marvin Scholz
The script is needed to build the documentation, so it should be included in the dist tarballs.
VideoLAN code repository instance