manual.texi	and option files


Docs/manual.texi:
  reword relationship between command line options
  and option files