blob: 458c637124d78cddcf58a0ba07146e08ea1aefd3 (
plain)
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#Patch by Jesus Rivero <neurogeek@gentoo.org>
#Added: Mar 26, 2012
#Gentoo Specific, not sent upstream
diff -uNr a/install.sh b/install.sh
--- a/install.sh 2012-03-26 07:17:28.000000000 -0400
+++ b/install.sh 2012-03-26 07:17:56.000000000 -0400
@@ -101,52 +101,3 @@
# share/man/ manpages, should be the same as man/
# share/info/ info files
# share/doc/ misc documentation
-
-echo
-echo "Documentation:"
-
-# man
-cp doc/sbcl.1 "$BUILD_ROOT$MAN_DIR"/man1/ && echo " man $BUILD_ROOT$MAN_DIR/man1/sbcl.1"
-cp doc/sbcl-asdf-install.1 "$BUILD_ROOT$MAN_DIR"/man1/ && echo " man $BUILD_ROOT$MAN_DIR/man1/sbcl-asdf-install.1"
-
-# info
-for info in doc/manual/*.info
-do
- cp $info "$BUILD_ROOT$INFO_DIR"/ \
- && BN=`basename $info` \
- && DIRFAIL=`install-info --info-dir="$BUILD_ROOT$INFO_DIR" \
- "$BUILD_ROOT$INFO_DIR"/$BN > /dev/null 2>&1 \
- || echo "(could not add to system catalog)"` \
- && echo " info $BUILD_ROOT$INFO_DIR/`basename $info` [$BUILD_ROOT$INFO_DIR/dir] $DIRFAIL"
-done
-
-for info in doc/manual/*.info-*
-do
- cp $info "$BUILD_ROOT$INFO_DIR"/ \
- && echo " info $BUILD_ROOT$INFO_DIR/`basename $info`"
-done
-
-# pdf
-for pdf in doc/manual/*.pdf
-do
- cp $pdf "$BUILD_ROOT$DOC_DIR"/ \
- && echo " pdf $BUILD_ROOT$DOC_DIR/`basename $pdf`"
-done
-
-# html
-for html in doc/manual/sbcl doc/manual/asdf
-do
- test -d $html && cp -R -L $html "$BUILD_ROOT$DOC_DIR"/html \
- && echo " html $BUILD_ROOT$DOC_DIR/html/`basename $html`/index.html"
-done
-
-for html in doc/manual/sbcl.html doc/manual/asdf.html
-do
- cp $html "$BUILD_ROOT$DOC_DIR"/ \
- && echo " html $BUILD_ROOT$DOC_DIR/`basename $html`"
-done
-
-for f in BUGS CREDITS COPYING NEWS
-do
- cp $f "$BUILD_ROOT$DOC_DIR"/
-done
|
GitWeb
