Rename Htirage -> Relotophile

[reloto.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index d35a9e1fc02b1df644dd7528fb16b0b144d7c715..e8427882e4cd456716db5d93f5febf838c6de9fe 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -36,7 +36,7 @@ doc:
 HLint.hs: $(shell find . -name '*.hs' -not -name 'HLint.hs')
        sed -i -e '/^-- BEGIN: generated hints/,/^-- END: Generated by hlint/d' HLint.hs
        echo '-- BEGIN: generated hints' >> HLint.hs
-       hlint --find . | grep '^'infix | sort -u >> HLint.hs
+       hlint --find . | sed -ne 's/^- infix: \(.*\)/\1/p' | sort -u >>HLint.hs
        echo '-- END: generated hints' >> HLint.hs
 
 lint: HLint.hs