Update doc after renaming config.sh

src/doc/ffoo.3.sh

@@ -46,10 +46,10 @@ FFOO_PRETTY=your_own_format
 
 
 ##
-## config.sh -- config file grepping
+## inigrep.sh -- inigrep file grepping
 ##
 
-ffoo import config
+ffoo import inigrep
 
 # a sample INI file
 #
@@ -72,7 +72,7 @@ EOF
 
 # read as you need
 #
-FFOO_CONFIG_PATH=$HOME/.demo            # just tell us the path
+FFOO_INIGREP_PATH=$HOME/.demo           # just tell us the path
 inigrep -s foo.bar -k baz foo.ini       # prints "qux"
 inigrep -p foo.bar.baz foo.ini          # ...short for above
 inigrep -p foo.bar.baz                  # ...even shorter (foo hints foo.ini)
@@ -93,7 +93,7 @@ EOF
 
 # this works similar to PATH
 #
-FFOO_CONFIG_PATH=$HOME/.demo-private:$HOME/.demo
+FFOO_INIGREP_PATH=$HOME/.demo-private:$HOME/.demo
 inigrep    -p foo.bar.baz2              # the private file wins -- "secret qux!"
 inigrep -j -p foo.bar.baz2              # but -j causes them to be joined:
                                         #   secret qux