JDEE: Augment `jde-help-docsets.patch'; actually use it.
svn path=/nixpkgs/trunk/; revision=16413
This commit is contained in:
parent
10c4ec0ed8
commit
3451ae1a64
@ -19,6 +19,7 @@ in
|
||||
./installation-layout.patch ./cedet-paths.patch ./elib-avltree.patch
|
||||
./java-directory.patch ./jde-directory-files-recurs.patch
|
||||
./jde-help-find-javadoc.patch ./jde-wiz-update-implements-clause.patch
|
||||
./jde-help-docsets.patch
|
||||
];
|
||||
|
||||
configurePhase = ''
|
||||
|
@ -2,14 +2,29 @@ Provide a sensible default for `jde-help-docsets'.
|
||||
|
||||
--- jde/lisp/jde-help.el (revision 90)
|
||||
+++ jde/lisp/jde-help.el (working copy)
|
||||
@@ -28,7 +28,10 @@
|
||||
@@ -28,7 +28,25 @@
|
||||
(require 'jde-util)
|
||||
|
||||
;; (makunbound 'jde-help-docsets)
|
||||
-(defcustom jde-help-docsets (list (list "JDK API" "" nil))
|
||||
+(defcustom jde-help-docsets (list
|
||||
+ (list "JDK API"
|
||||
+(defcustom jde-help-docsets
|
||||
+ (list (list "JDK API"
|
||||
+ "http://java.sun.com/javase/6/docs/api"
|
||||
+ nil)
|
||||
+ ("User (javadoc)"
|
||||
+ "http://static.springsource.org/spring/docs/3.0.x/javadoc-api/"
|
||||
+ nil)
|
||||
+ ("User (javadoc)"
|
||||
+ "http://commons.apache.org/sandbox/functor/apidocs/"
|
||||
+ nil)
|
||||
+ ("User (javadoc)"
|
||||
+ "https://www.hibernate.org/hib_docs/v3/api"
|
||||
+ nil)
|
||||
+ ("User (javadoc)"
|
||||
+ "http://acegisecurity.org/acegi-security/apidocs"
|
||||
+ nil)
|
||||
+ ("User (javadoc)"
|
||||
+ "http://wicket.apache.org/docs/1.4"
|
||||
+ nil))
|
||||
"*Lists collections of HTML files documenting Java classes.
|
||||
This list is used by the `jde-help-class' command to find help for
|
||||
|
Loading…
Reference in New Issue
Block a user