Thierry Crozat 4e503fad1c Revert "BUILD: Add $(DIST_FILES_DOCS) to targets using it"
This reverts commit d1e195c298355ff00097de0a3589621b18a92764.
2021-09-04 20:01:32 +02:00
..