Add configuration option 'org.phoebus.ui/phoebus_documentation_location' for configuring the location of the Phoebus documentation.

Author: abrahamwolk

core/ui/src/main/java/org/phoebus/ui/Preferences.java

@@ -93,6 +93,8 @@ public class Preferences
     /** cache_hint_for_picture_and_symbol_widgets */
     @Preference public static String cache_hint_for_picture_and_symbol_widgets;
     @Preference public static boolean save_credentials;
+    /** phoebus_documentation_path */
+    @Preference public static String phoebus_documentation_location;
 
     static
     {

core/ui/src/main/java/org/phoebus/ui/help/OpenHelp.java

@@ -8,6 +8,7 @@
 package org.phoebus.ui.help;
 
 import org.phoebus.framework.workbench.Locations;
+import org.phoebus.ui.Preferences;
 import org.phoebus.ui.application.Messages;
 import org.phoebus.ui.javafx.ImageCache;
 import org.phoebus.ui.spi.MenuEntry;
@@ -61,6 +62,10 @@ public Void call()
 
     public static String determineHelpLocation()
     {
+        if (!Preferences.phoebus_documentation_location.isEmpty()) {
+            return Preferences.phoebus_documentation_location;
+        }
+
         final File phoenix_install = Locations.install();
 
         // The distribution includes a lib/ and a doc/ folder.

core/ui/src/main/resources/phoebus_ui_preferences.properties

@@ -175,4 +175,7 @@ cache_hint_for_picture_and_symbol_widgets=
 # Whether or not to save user credentials to file or memory so they only have to be entered once. Note that this
 # applies to all scopes/applications prompting for credentials.
 # See also setting org.phoebus.security/secure_store_target
-save_credentials=false
+save_credentials=false
+
+# Location of the Phoebus documentation
+phoebus_documentation_location=