diff --git a/contrib/jedit/jedit.facts b/contrib/jedit/jedit.facts deleted file mode 100644 index 850f387a77..0000000000 --- a/contrib/jedit/jedit.facts +++ /dev/null @@ -1,7 +0,0 @@ -IN: jedit -USING: help ; - -HELP: jedit -{ $values { "defspec" "a definition specifier" } } -{ $description "Opens the source file and line number containing the given definition in a running jEdit instance." } -{ $errors "Throws an error if the " { $snippet "~/.jedit/server" } " file does not exist. jEdit must be running and the edit server feature must be enabled for this word to work." } ; diff --git a/contrib/jedit/load.factor b/contrib/jedit/load.factor index 1fc6c15a5a..df83513712 100644 --- a/contrib/jedit/load.factor +++ b/contrib/jedit/load.factor @@ -1,2 +1,2 @@ PROVIDE: contrib/jedit -{ +files+ { "jedit.factor" "jedit.facts" } } ; +{ +files+ { "jedit.factor" } } ;