From 2613efca439c06ae70241f6e40f85d480cb17aae Mon Sep 17 00:00:00 2001
From: Christian Thaeter <ct@pipapo.org>
Date: Fri, 31 Aug 2012 04:55:40 +0200
Subject: [PATCH] Add full-text search command to rfc.sh

---
 admin/rfc.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/admin/rfc.sh b/admin/rfc.sh
index 743ea4c8f..bbec05e0c 100755
--- a/admin/rfc.sh
+++ b/admin/rfc.sh
@@ -374,6 +374,9 @@ process)
     done
     :
     ;;
+search)
+    grep -r -C3 -n "$1" ./doc/devel/rfc | less -F
+    ;;
 find|list|ls)
     if [[ "$2" ]]; then
         find_rfc "$1" | xargs grep -i -C3 -n "$2"