diff --git a/linux/scripts/dist.sh b/linux/scripts/dist.sh
index 6c4ae4b374..469cedbff0 100755
--- a/linux/scripts/dist.sh
+++ b/linux/scripts/dist.sh
@@ -83,6 +83,7 @@ if [[ -z "${create_origdist+x}" ]]; then
     common/web/langtags \
     common/web/types \
     common/windows/cpp \
+    common/windows/include \
     developer/src/common/include \
     developer/src/common/web \
     developer/src/ext/json \