Commits

Evan Gates  committed a4bc622

cleaner grep for rfc

  • Participants
  • Parent commits a48c39a

Comments (0)

Files changed (1)

 
 if [ "$1" = "-k" ]; then
 	shift
-	grep -i "^[0-9]\+ .*$@.*$" "$RFC_INDEX" | grep -i "$@"
+	grep -i "^[0-9]\+ " "$RFC_INDEX" | grep -i "$@"
 elif [ "$1" = "-f" ]; then
 	shift
 	rfc=$(find $PDF_PATH | grep "rfc$1\.")