1 ?RCS: $Id: html3dir.U,v $
3 ?RCS: Copyright (c) 1999 Andy Dougherty
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.
11 ?RCS: $Log: html3dir.U,v $
13 ?MAKE:html3dir html3direxp installhtml3dir: cat sed Loc \
14 spackage test Getfile Prefixit Prefixup Myread \
15 prefix installprefix html1dir
16 ?MAKE: -pick add $@ %<
19 ?S: This variable contains the name of the directory in which html
20 ?S: source pages are to be put. This directory is for pages
21 ?S: that describe libraries or modules. It is intended to
22 ?S: correspond roughly to section 3 of the Unix manuals.
25 ?S: This variable is the same as the html3dir variable, but is filename
26 ?S: expanded at configuration time, for convenient use in makefiles.
29 ?S: This variable is really the same as html3direxp, unless you are
30 ?S: using a different installprefix. For extra portability, you
31 ?S: should only use this variable within your makefiles.
33 : determine where html pages for libraries and modules go
34 set html3dir html3dir none
38 If you wish to install html files for modules associated with $spackage,
39 indicate the appropriate directory here. To skip installing html files,
42 : There is no obvious default. If they have specified html1dir, then
43 : try to key off that, possibly changing .../html1 into .../html3.
45 '') html3dir=`echo "$html1dir" | $sed 's/1$/3$/'` ;;
49 rp="Directory for the $spackage module html pages?"
53 : Use ' ' for none so value is preserved next time through Configure
54 $test X"$html3dir" = "X" && html3dir=' '
55 : Change installation prefix, if necessary.
56 if $test X"$prefix" != X"$installprefix"; then
57 installhtml3dir=`echo $html3direxp | sed "s#^$prefix#$installprefix#"`
59 installhtml3dir="$html3direxp"