New upstream version 8.1.0

2025-08-10 01:34:16 +02:00
commit c891bb7105
4398 changed files with 838833 additions and 0 deletions
--- a/thirdparty/source/nu/docs/extract.awk
+++ b/thirdparty/source/nu/docs/extract.awk
@@ -0,0 +1,28 @@
+BEGIN {
+	indent = "";
+}
+
+$1 == "//-" {
+	sub("^   ", "", indent);
+}
+
+$1 ~ "^//[+-/0]$", $1 ~ "^//[+-/0]$" {
+	line = $0;
+	sub("^[ \t]*//. ?", "", line);
+
+	if (line ~ /↩$/)
+		sub("↩$", "\\", line);
+
+	if ($1 == "//0")
+		print line;
+	else
+		print indent line;
+}
+
+$1 == "//+" {
+	indent = indent "   ";
+}
+
+$1 !~ "^//[+-/0]$" {
+	print "";
+}