annotate doinstall.sh @ 815:f2fcdc711b5f

[project @ 1994-10-15 00:39:35 by jwe]
author jwe
date Sat, 15 Oct 1994 00:39:35 +0000
parents 8caf71319a4d
children 522bbd75dce3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
1 #!/bin/sh
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
2 #
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
3 # doinstall.sh -- install script for binary distributions.
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
4 #
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
5 # John W. Eaton
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
6 # jwe@che.utexas.edu
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
7 # Department of Chemical Engineering
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
8 # The University of Texas at Austin
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
9
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
10 # ask octave to tell us the version number
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
11 version=`./octave -v 2>/dev/null | awk '/version/ { print $NF }'`
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
12
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
13 # ask octave to tell us the target host type
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
14 target_host_type=`echo computer | ./octave -q`
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
15
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
16 if test -z "$version"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
17 then
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
18 echo "doinstall.sh: unable to extract version number from Octave!"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
19 exit 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
20 fi
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
21
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
22 # ==================== Where To Install Things ====================
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
23
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
24 # The default location for installation. Everything is placed in
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
25 # subdirectories of this directory. The default values for many of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
26 # the variables below are expressed in terms of this one, so you may
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
27 # not need to change them. This defaults to /usr/local.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
28 prefix=/usr/local
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
29
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
30 prefix="/usr/local"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
31 if test $# -eq 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
32 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
33 prefix=$1
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
34 else
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
35 if test $# -gt 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
36 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
37 echo "usage: doinstall.sh [prefix-directory]"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
38 exit 1
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
39 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
40 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
41
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
42 # Like `prefix', but used for architecture-specific files.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
43 exec_prefix="$prefix"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
44
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
45 # Where to install Octave and other binaries that people will want to
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
46 # run directly.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
47 bindir="$exec_prefix/bin"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
48
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
49 # Where to install architecture-independent data files. ${fcnfiledir}
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
50 # and ${localfcnfiledir} are subdirectories of this.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
51 datadir="$prefix/lib"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
52
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
53 # Where to install and expect libraries like libcruft.a, liboctave.a,
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
54 # and libreadline.a, executable files to be run by Octave rather than
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
55 # directly by users, and other architecture-dependent data.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
56 # ${archlibdir} is a subdirectory of this.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
57 libdir="$exec_prefix/lib"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
58
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
59 # Where to install Octave's include files. The default is
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
60 # ${prefix}/include/octave
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
61 includedir="$prefix/include/octave"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
62
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
63 # Where to install Octave's man pages, and what extension they should
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
64 # have. The default is ${prefix}/man/man1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
65 mandir="$prefix/man/man1"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
66 manext="1"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
67
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
68 # Where to install and expect the info files describing Octave..
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
69 infodir="$prefix/info"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
70
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
71 # ==================== Octave-specific directories ====================
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
72
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
73 # These variables hold the values Octave will actually use. They are
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
74 # based on the values of the standard Make variables above.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
75
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
76 # Where to install the function file distributed with
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
77 # Octave. This includes the Octave version, so that the
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
78 # function files for different versions of Octave will install
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
79 # themselves in separate directories.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
80 fcnfiledir="$datadir/octave/$version/m"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
81
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
82 # Directories Octave should search for function files specific
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
83 # to this site (i.e. customizations), before consulting
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
84 # ${fcnfiledir}. This should be a colon-separated list of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
85 # directories.
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
86 localfcnfiledir="$datadir/octave/site/m"
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
87 localfcnfilepath="$localfcnfiledir//"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
88
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
89 # Where to put executables to be run by Octave rather than
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
90 # the user. This path usually includes the Octave version
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
91 # and configuration name, so that multiple configurations
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
92 # for multiple versions of Octave may be installed at once.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
93 archlibdir="$libdir/octave/$version/exec/$target_host_type"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
94
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
95 # Where to put object files that will by dynamically loaded.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
96 # This path usually includes the Octave version and configuration
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
97 # name, so that multiple configurations for multiple versions of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
98 # Octave may be installed at once.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
99 octfiledir="$libdir/octave/$version/oct/$target_host_type"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
100
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
101 # Directories Octave should search for object files that will be
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
102 # dynamically loaded and that are specific to this site
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
103 # (i.e. customizations), before consulting ${octfiledir}. This should
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
104 # be a colon-separated list of directories.
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
105 localoctfiledir="$datadir/octave/site/oct/$target_host_type"
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
106 localoctfilepath="$localoctfiledir//"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
107
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
108 # Where Octave will search to find its function files. Before
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
109 # changing this, check to see if your purpose wouldn't
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
110 # better be served by changing localfcnfilepath. This
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
111 # should be a colon-separated list of directories.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
112 fcnfilepath=".:$localoctfilepath:$localfcnfilepath:$octfiledir//:$fcnfiledir//"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
113
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
114 # Where Octave will search to find image files.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
115 imagedir="$fcnfiledir/imagelib"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
116 imagepath=".:$imagedir//"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
117
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
118 cat << EOF
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
119 Installing octave in subdirectories of $prefix.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
120
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
121 Binaries: $bindir
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
122 Function files: $fcnfiledir
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
123 Demo images: $imagedir
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
124 Info files: $infodir
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
125 Man page: $mandir
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
126
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
127 EOF
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
128
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
129 DIRS_TO_MAKE="$bindir $datadir $libdir $includedir $mandir $infodir \
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
130 $fcnfiledir $archlibdir $octfiledir $imagedir \
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
131 $localfcnfiledir $localoctfiledir"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
132
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
133 ./mkinstalldirs $DIRS_TO_MAKE
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
134 chmod 755 $DIRS_TO_MAKE
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
135
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
136 if test "$prefix" = /usr/local
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
137 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
138 echo "installing ./octave as $bindir/octave"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
139 cp ./octave $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
140 chmod 755 $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
141 else
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
142 echo "installing octave.sh as $bindir/octave"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
143 sed "s|@OCTAVE_HOME@|$prefix|" octave.sh > octave.tmp
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
144 cp octave.tmp $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
145 chmod 755 $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
146
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
147 echo "installing ./octave as $bindir/octave.bin"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
148 cp ./octave $bindir/octave.bin
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
149 chmod 755 $bindir/octave.bin
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
150 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
151
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
152 echo "installing function files in $fcnfiledir"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
153 ( cd scripts
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
154 ../mkinstalldirs `find . -type d | sed -e 's,^\./,,' -e "s,^,$fcnfiledir/,"`
814
8caf71319a4d [project @ 1994-10-15 00:31:15 by jwe]
jwe
parents: 813
diff changeset
155 for f in `find . -name '*.m' -o name octaverc`
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
156 do
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
157 cp $f $fcnfiledir/$f
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
158 chmod 644 $fcnfiledir/$f
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
159 done )
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
160
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
161 echo "installing image files in $imagedir"
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
162 ( cd scripts
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
163 ../mkinstalldirs `find . -type d | sed -e 's,^\./,,' -e "s,^,$imagedir/,"`
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
164 for f in `find . -name '*.img'`
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
165 do
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
166 cp $f $iamgedir/$f
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
167 chmod 644 $imagedir/$f
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
168 done )
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
169
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
170 echo "installing info files in $infodir"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
171 for f in doc/octave.info*
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
172 do
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
173 file=`basename $f`
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
174 cp $f $infodir/$file
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
175 chmod 644 $infodir/$file
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
176 done
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
177
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
178 echo "installing man page in $mandir"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
179 cp doc/octave.1 $mandir/octave.$manext
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
180 chmod 644 $mandir/octave.$manext
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
181
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
182 exit 0