blob: 055522be11cd46d4066ce76c222a3410b8569292 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
Index: scripts/makeinstall
===================================================================
--- scripts/makeinstall (revision 508)
+++ scripts/makeinstall (working copy)
@@ -93,13 +93,18 @@
done
cd $current_dir
-echo "Installing documentation into $G_PREFIX/share/doc/gsystem"
+if [ -z $G_NO_INST_DOCS ]
+then
-mkdir -p $G_PREFIX/share/doc/gsystem
+ echo "Installing documentation into $G_PREFIX/share/doc/gsystem"
+ mkdir -p $G_PREFIX/share/doc/gsystem
+ cp -r ./doc/gdocs/* $G_PREFIX/share/doc/gsystem
-cp -r ./doc/gdocs/* $G_PREFIX/share/doc/gsystem
+ checkreturn $?
-checkreturn $?
+else
+ echo "Not installing documentation."
+fi
username=`whoami`
@@ -129,4 +134,5 @@
echo "ENJOY!!"
echo ""
-exit 0
\ No newline at end of file
+exit 0
+
|
