From a74ab40494a565a6ccfd6d02420258c3699ade21 Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Sat, 10 Sep 2022 15:09:27 -0400
Subject: [PATCH] debug: note the current user and owner of files

---
 contrib/build-docs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/build-docs b/contrib/build-docs
index dcbc53d01..ec3c5f2e8 100755
--- a/contrib/build-docs
+++ b/contrib/build-docs
@@ -7,6 +7,9 @@ main() {
   pushd "$ROOT_DIR" >/dev/null || return 1
   rm -rf docs-main tmp/docs-source tmp/docs-build # tmp/docs-build
   cp -r docs docs-main
+  
+  echo "====> Whoami"
+  whoami
 
   echo "====> Generating docs image"
   make docs-build-image
@@ -34,6 +37,7 @@ main() {
   sed -i.bak "s/outdated/outdated_hidden/g" docs/_overrides/main.html && rm docs/_overrides/main.html.bak
   echo "----> Generating docs"
   make docs-build
+  ls -lah site site/_build
   rm -rf site/_build
   mv site tmp/docs-build/docs
   mv docs/home.html tmp/docs-build/index.html