README update

1 files changed, 7 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 938b8c2..b2e6829 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ HLINTFLAGS=-XHaskell98 -XNoCPP -i 'Use camelCase' -i 'Use String' -i 'Use head'
 
 .PHONY: all cleas
 
-all: verify report.html
+all: verify report.html README
 
 verify: examples/verify.hs
         ghc --make $(GHCFLAGS) -o $@ $^
@@ -11,6 +11,12 @@ verify: examples/verify.hs
 report.html:
         hlint $(HLINTFLAGS) --report Data examples
 
+README: openpgp.cabal
+        tail -n+$$(( `grep -n ^description: $^ | head -n1 | cut -d: -f1` + 1 )) $^ > .$@
+        head -n+$$(( `grep -n ^$$ .$@ | head -n1 | cut -d: -f1` - 1 )) .$@ > $@
+        printf ',s/        //g\n,s/^.$$//g\nw\nq\n' | ed $@
+        $(RM) .$@
+
 clean:
         find -name '*.o' -o -name '*.hi' | xargs $(RM)
         $(RM) verify