From c6d2154588ac13374d570f498dc5c8dc7c5f4036 Mon Sep 17 00:00:00 2001 From: Stephen Paul Weber Date: Tue, 9 Aug 2011 22:54:32 -0500 Subject: README update --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Makefile') 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 -- cgit v1.2.3