Renaming /doc to /docs for use with GitHub Pages

[jpf-core.git] / docs / user / run_nb_plugin.md

diff --git a/docs/user/run_nb_plugin.md b/docs/user/run_nb_plugin.md
new file mode 100644 (file)
index 0000000..134634e
--- /dev/null
+++ b/docs/user/run_nb_plugin.md
@@ -0,0 +1,12 @@
+# Running JPF from within NetBeans with netbeans-jpf plugin #
+netbeans-jpf can be easily configured to run JPF at the click of a mouse.
+
+ 1. Install netbeans-jpf (see: [Installing the NetBeans JPF plugin](../install/netbeans-plugin))
+ 2. Make sure the correct `site.properties` file is being used for JPF (The default is usually correct)\
+     To see which `site.properties` file is being used:
+   3. From the NetBeans top menu go to "Tools"->"Options" (Alt+T followed by Alt+O)
+   4. Select "Miscellaneous" from the top of the Options Window
+   5. Select the "Java Pathfinder" tab
+   6. Make sure that "Path to `site.properties`" is defined properly, uncheck "Use default `site.properties` location" to change the path
+ 7. From either the "Projects" or "Files" view (on the left of the main NetBeans screen by default,) select the JPF properties file (i.e., a file with a `.jpf` extension) you would like to run. Right click on this file and select the "Verify..." menu item to run JPF.
+ 8. To view the results, make sure that the "Output" View is open (On the bottom of the main NetBeans screen by default)
\ No newline at end of file