diff options
Diffstat (limited to 'mcon/U/sysman.U')
| -rw-r--r-- | mcon/U/sysman.U | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/mcon/U/sysman.U b/mcon/U/sysman.U new file mode 100644 index 0000000..8a010ad --- /dev/null +++ b/mcon/U/sysman.U @@ -0,0 +1,50 @@ +?RCS: $Id: sysman.U 167 2013-05-08 17:58:00Z rmanfredi $ +?RCS: +?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi +?RCS: +?RCS: You may redistribute only under the terms of the Artistic License, +?RCS: as specified in the README file that comes with the distribution. +?RCS: You may reuse parts of this distribution only within the terms of +?RCS: that same Artistic License; a copy of which may be found at the root +?RCS: of the source tree for dist 4.0. +?RCS: +?RCS: $Log: sysman.U,v $ +?RCS: Revision 3.0.1.2 1994/06/20 07:08:43 ram +?RCS: patch30: now explicitly states that /usr/man/man1 is the default +?RCS: patch30: added /usr/local/man/man1 to the search list +?RCS: +?RCS: Revision 3.0.1.1 1993/09/13 16:13:50 ram +?RCS: patch10: added support for /local/man/man1 (WAD) +?RCS: patch10: added temporary syspath variable to cut down on line length +?RCS: +?RCS: Revision 3.0 1993/08/18 12:09:55 ram +?RCS: Baseline for dist 3.0 netwide release. +?RCS: +?MAKE:sysman: test Loc Oldconfig +?MAKE: -pick add $@ %< +?S:sysman: +?S: This variable holds the place where the manual is located on this +?S: system. It is not the place where the user wants to put his manual +?S: pages. Rather it is the place where Configure may look to find manual +?S: for unix commands (section 1 of the manual usually). See mansrc. +?S:. +?T:syspath +: determine where manual pages are on this system +echo " " +case "$sysman" in +'') + syspath='/usr/share/man/man1 /usr/man/man1' + syspath="$syspath /usr/man/mann /usr/man/manl /usr/man/local/man1" + syspath="$syspath /usr/man/u_man/man1 /usr/share/man/man1" + syspath="$syspath /usr/catman/u_man/man1 /usr/man/l_man/man1" + syspath="$syspath /usr/local/man/u_man/man1 /usr/local/man/l_man/man1" + syspath="$syspath /usr/man/man.L /local/man/man1 /usr/local/man/man1" + sysman=`./loc . /usr/man/man1 $syspath` + ;; +esac +if $test -d "$sysman"; then + echo "System manual is in $sysman." >&4 +else + echo "Could not find manual pages in source form." >&4 +fi + |