U/installdirs/siteman3dir.U

   1 ?RCS: $Id$
   2 ?RCS:
   3 ?RCS: Copyright (c) 1999 Jarkko Hietaniemi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   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 Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 3.0.
  10 ?RCS:
  11 ?MAKE:siteman3dir siteman3direxp installsiteman3dir: test Getfile \
  12         prefix installprefix siteprefix man3dir sed
  13 ?MAKE:  -pick add $@ %<
  14 ?Y:TOP
  15 ?S:siteman3dir:
  16 ?S:     This variable contains the name of the directory in which site-specific
  17 ?S:     library html source pages are to be put.  It is the responsibility of the
  18 ?S:     Makefile.SH to get the value of this into the proper command.
  19 ?S:     You must be prepared to do the ~name expansion yourself.
  20 ?S:.
  21 ?S:siteman3direxp:
  22 ?S:     This variable is the same as the siteman3dir variable, but is filename
  23 ?S:     expanded at configuration time, for convenient use in makefiles.
  24 ?S:.
  25 ?S:installsiteman3dir:
  26 ?S:     This variable is really the same as siteman3direxp, unless you are using
  27 ?S:     AFS in which case it points to the read/write location whereas
  28 ?S:     man3direxp only points to the read-only access location. For extra
  29 ?S:     portability, you should only use this variable within your makefiles.
  30 ?S:.
  31 : determine where add-on library html pages go
  32 case "$siteman3dir" in
  33 '')     dflt=`echo $man3dir | $sed "s#^$prefix#$siteprefix$#"`
  34 *)      dflt=$siteman3dir ;;
  35 esac
  36 fn=d~
  37 rp='Pathname where the site-specific library manual pages should be installed?'
  38 . ./getfile
  39 siteman3dir="$ans"
  40 siteman3direxp="$ansexp"
  41 : Change installation prefix, if necessary.
  42 if $test X"$prefix" != X"$installprefix"; then
  43         installsiteman3dir=`echo $siteman3direxp | $sed 's#^$prefix#$installprefix#'`
  44 else
  45         installsiteman3dir="$siteman3direxp"
  46 fi
  47