diff options
Diffstat (limited to 'extract_license.sed')
-rwxr-xr-x | extract_license.sed | 13 |
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 +} |