Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

PATCH: run-help tidying part 2



Oh, and to prevent useless invocations of man:

*** Functions/Misc/run-help.old        Thu Nov  4 14:03:51 1999
--- Functions/Misc/run-help    Thu Nov  4 14:00:18 1999
***************
*** 15,21 ****
  [[ $1 == ":" ]] && 1="colon"
  
  # Check whether Util/helpfiles has been used to generate zsh help
! if [[ $1 == "-l" ]]
  then
      if [[ -n "${HELPDIR:-}" && -d $HELPDIR ]]
      then
--- 15,21 ----
  [[ $1 == ":" ]] && 1="colon"
  
  # Check whether Util/helpfiles has been used to generate zsh help
! if [[ $# == 0 || $1 == "-l" ]]
  then
      if [[ -n "${HELPDIR:-}" && -d $HELPDIR ]]
      then



Messages sorted by: Reverse Date, Date, Thread, Author