Roland Mainz wrote:
> Mike Gerdts wrote:
> Some notes:
> - IMO it may be nice to have something like /etc/man/mandirs which keeps
> track of directories which contain man directories and a tool ("manadm"
> ?) which adds/removes entries to that list and invokes the crawling
> process for all subdirs listed there.

BTW: When I say "list" - the file should contain a ksh93 serialised
array variable (e.g. something like
- this avoids any problems with adding new fields/options/etc. since the
shell will be able to read it anyway...



  __ .  . __
 (o.\ \/ /.o) roland.mainz at
  \__\/\/__/  MPEG specialist, C&&JAVA&&Sun&&Unix programmer
  /O /==\ O\  TEL +49 641 7950090
 (;O/ \/ \O;)

Reply via email to