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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
#! /bin/sh -e
##
## DP: Debian specific patch, converted from eclipse-disable-buildHelpIndex.patch
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch}"
if [ $# -ne 1 ]; then
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1
fi
case "$1" in
-patch)
patch $patch_opts -p0 < $0;;
-unpatch)
patch $patch_opts -p0 -R < $0;;
*)
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1;;
esac
exit 0
@DPATCH@
diff -r -u source-tree.orig/plugins/org.eclipse.jdt.doc.isv/buildDoc.xml source-tree/plugins/org.eclipse.jdt.doc.isv/buildDoc.xml
--- source-tree.orig/plugins/org.eclipse.jdt.doc.isv/buildDoc.xml 2005-09-02 12:29:49.000000000 +0200
+++ source-tree/plugins/org.eclipse.jdt.doc.isv/buildDoc.xml 2005-09-02 12:36:26.000000000 +0200
@@ -15,7 +15,9 @@
<target name="build.index" description="Builds search index for the plug-in: org.eclipse.jdt.doc.isv" if="eclipse.running">
+ <!--
<help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}"/>
+ -->
</target>
<target name="convertSchemaToHtml" if="eclipse.running">
diff -r -u source-tree.orig/plugins/org.eclipse.jdt.doc.user/build.xml source-tree/plugins/org.eclipse.jdt.doc.user/build.xml
--- source-tree.orig/plugins/org.eclipse.jdt.doc.user/build.xml 2005-09-02 12:29:49.000000000 +0200
+++ source-tree/plugins/org.eclipse.jdt.doc.user/build.xml 2005-09-02 12:36:06.000000000 +0200
@@ -54,7 +54,9 @@
</target>
<target name="build.index" depends="init" description="Builds search index for the plug-in: org.eclipse.jdt.doc.user." if="eclipse.running">
+ <!--
<help.buildHelpIndex manifest="plugin.xml" destination="."/>
+ -->
</target>
<target name="build.sources" depends="init">
diff -r -u source-tree.orig/plugins/org.eclipse.pde.doc.user/buildDoc.xml source-tree/plugins/org.eclipse.pde.doc.user/buildDoc.xml
--- source-tree.orig/plugins/org.eclipse.pde.doc.user/buildDoc.xml 2005-09-02 12:29:42.000000000 +0200
+++ source-tree/plugins/org.eclipse.pde.doc.user/buildDoc.xml 2005-09-02 12:35:18.000000000 +0200
@@ -12,7 +12,9 @@
</target>
<target name="build.index" description="Builds search index for the plug-in: org.eclipse.pde.doc.user." if="eclipse.running">
+ <!--
<help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}"/>
+ -->
</target>
<target name="convertSchemaToHtml" if="eclipse.running">
diff -r -u source-tree.orig/plugins/org.eclipse.platform.doc.isv/buildDoc.xml source-tree/plugins/org.eclipse.platform.doc.isv/buildDoc.xml
--- source-tree.orig/plugins/org.eclipse.platform.doc.isv/buildDoc.xml 2005-09-02 12:29:52.000000000 +0200
+++ source-tree/plugins/org.eclipse.platform.doc.isv/buildDoc.xml 2005-09-02 12:36:48.000000000 +0200
@@ -14,7 +14,9 @@
<target name="build.index" description="Builds search index for the plug-in: org.eclipse.jdt.doc.isv" if="eclipse.running">
+ <!--
<help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}"/>
+ -->
</target>
<target name="convertSchemaToHtml" if="eclipse.running">
diff -r -u source-tree.orig/plugins/org.eclipse.platform.doc.user/build.xml source-tree/plugins/org.eclipse.platform.doc.user/build.xml
--- source-tree.orig/plugins/org.eclipse.platform.doc.user/build.xml 2005-09-02 12:29:43.000000000 +0200
+++ source-tree/plugins/org.eclipse.platform.doc.user/build.xml 2005-09-02 12:35:46.000000000 +0200
@@ -54,7 +54,9 @@
</target>
<target name="build.index" depends="init" description="Builds search index for the plug-in: org.eclipse.platform.doc.user." if="eclipse.running">
+ <!--
<help.buildHelpIndex manifest="plugin.xml" destination="."/>
+ -->
</target>
<target name="build.sources" depends="init">
|
