# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1754990620 -7200
# Node ID bec4573379b0fe490cd175e532053538a1d3695e
# Parent  ca5400c24f93820d93252e229b83b0305b5095f2
export stub from debian builders

diff -r ca5400c24f93 -r bec4573379b0 Resources/Builders/Debian/docker-internal.sh
--- a/Resources/Builders/Debian/docker-internal.sh	Tue Aug 12 11:16:54 2025 +0200
+++ b/Resources/Builders/Debian/docker-internal.sh	Tue Aug 12 11:23:40 2025 +0200
@@ -96,3 +96,4 @@
 # running "./debian-{distro}-compile.sh" script. This allows to avoid
 # files owned by the "root" user on the host filesystem.
 su -c "cp /tmp/build/libOrthancPython.so /target" orthanc
+su -c "cp /tmp/build/orthanc.pyi /target" orthanc