Extract license from the Dictionary

Instead of downloading it separately.

1 files changed, 13 insertions, 0 deletions

diff --git a/extract_license.sed b/extract_license.sed
new file mode 100755
index 000000000000..0fa0c844c505
--- /dev/null
+++ b/extract_license.sed
@@ -0,0 +1,13 @@
+#!/usr/bin/env -S sed -nEf
+
+/^GNU Free Documentation License$/ {
+	:a
+	p
+	n
+
+	# Stop on next entry.
+	/^\S/ q
+
+	# Continue printing GFDL.
+	b a
+}