[tracker/wip/carlosg/check-clean-docs-tree] docs: Ensure theme-extras directory is clean building docs for dist

[Carlos Garnacho <carlosg src gnome org>]

commit 3d495859d8b537a115384c113f547e3c05a0e792
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Sep 1 17:12:05 2021 +0200

    docs: Ensure theme-extras directory is clean building docs for dist
    
    Hotdoc copies this directory right away. Make the dist script complain
    if there's any files there that might result in unwanted files being
    shipped with the pre-generated docs.
    
    Fixes: https://gitlab.gnome.org/GNOME/tracker/-/issues/326

 docs/reference/libtracker-sparql/dist-docs.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/docs/reference/libtracker-sparql/dist-docs.sh b/docs/reference/libtracker-sparql/dist-docs.sh
index a95dd7373..49e04aa8a 100644
--- a/docs/reference/libtracker-sparql/dist-docs.sh
+++ b/docs/reference/libtracker-sparql/dist-docs.sh
@@ -1,6 +1,16 @@
 #!/bin/sh
 docs_name=$1
 
+pushd ${MESON_SOURCE_ROOT}
+files=`git clean -nx docs/reference/libtracker-sparql/theme-extra/`
+if [ -n "$files" ]
+then
+  echo "Directory 'theme-extra' is unclean:"
+  echo -e "$files"
+  exit -1
+fi
+popd
+
 pushd $MESON_BUILD_ROOT
 
 # Ensure the build tree is compiled, we need generated files