dist/U/sysman.U

   1 ?RCS: $Id$
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic License,
   6 ?RCS: as specified in the README file that comes with the distribution.
   7 ?RCS: You may reuse parts of this distribution only within the terms of
   8 ?RCS: that same Artistic License; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 4.0.
  10 ?RCS:
  11 ?RCS: $Log: sysman.U,v $
  12 ?RCS: Revision 3.0.1.2  1994/06/20  07:08:43  ram
  13 ?RCS: patch30: now explicitely states that /usr/man/man1 is the default
  14 ?RCS: patch30: added /usr/local/man/man1 to the search list
  15 ?RCS:
  16 ?RCS: Revision 3.0.1.1  1993/09/13  16:13:50  ram
  17 ?RCS: patch10: added support for /local/man/man1 (WAD)
  18 ?RCS: patch10: added temporary syspath variable to cut down on line length
  19 ?RCS:
  20 ?RCS: Revision 3.0  1993/08/18  12:09:55  ram
  21 ?RCS: Baseline for dist 3.0 netwide release.
  22 ?RCS:
  23 ?MAKE:sysman: test Loc Oldconfig
  24 ?MAKE:  -pick add $@ %<
  25 ?S:sysman:
  26 ?S:     This variable holds the place where the manual is located on this
  27 ?S:     system. It is not the place where the user wants to put his manual
  28 ?S:     pages. Rather it is the place where Configure may look to find manual
  29 ?S:     for unix commands (section 1 of the manual usually). See mansrc.
  30 ?S:.
  31 ?T:syspath
  32 : determine where manual pages are on this system
  33 echo " "
  34 case "$sysman" in
  35 '')
  36         syspath='/usr/share/man/man1 /usr/man/man1'
  37         syspath="$syspath /usr/man/mann /usr/man/manl /usr/man/local/man1"
  38         syspath="$syspath /usr/man/u_man/man1 /usr/share/man/man1"
  39         syspath="$syspath /usr/catman/u_man/man1 /usr/man/l_man/man1"
  40         syspath="$syspath /usr/local/man/u_man/man1 /usr/local/man/l_man/man1"
  41         syspath="$syspath /usr/man/man.L /local/man/man1 /usr/local/man/man1"
  42         sysman=`./loc . /usr/man/man1 $syspath`
  43         ;;
  44 esac
  45 if $test -d "$sysman"; then
  46         echo "System manual is in $sysman." >&4
  47 else
  48         echo "Could not find manual pages in source form." >&4
  49 fi
  50