From 72c71a91a8123af3da463d8aeb03523db1df92df Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Sun, 16 Oct 2022 22:05:40 +0200
Subject: [PATCH] Fixed (?) user doc generation

---
 scripts/extract_user_doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/extract_user_doc.sh b/scripts/extract_user_doc.sh
index 333a48f2c..cf499a5e0 100755
--- a/scripts/extract_user_doc.sh
+++ b/scripts/extract_user_doc.sh
@@ -22,7 +22,7 @@ while [ "$1" != "" ]; do
   fi
 done
 
-doc_src=./src/lay/lay/doc
+doc_src=./src/doc/doc
 . ./version.sh
 
 for qt in 5 4; do