From 72d842ce1e8eed9ed3672ae94306517c0c886cc4 Mon Sep 17 00:00:00 2001 From: Dima Kogan Date: Thu, 22 Jul 2021 16:30:39 -0700 Subject: [PATCH] Added extract_README.sh Github has been broken for years in rendering inline POD data, so I extract it. The maintainer must manually run this script to generate the README.pod file --- extract_README.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 extract_README.sh diff --git a/extract_README.sh b/extract_README.sh new file mode 100755 index 0000000..f2f5cc9 --- /dev/null +++ b/extract_README.sh @@ -0,0 +1,3 @@ +#!/bin/zsh + +< bin/feedgnuplot awk '/=head1/,0' > README.pod