Renaming /doc to /docs for use with GitHub Pages

[jpf-core.git] / docs / install / eclipse-plugin / update.md

diff --git a/docs/install/eclipse-plugin/update.md b/docs/install/eclipse-plugin/update.md
new file mode 100644 (file)
index 0000000..18ccf75
--- /dev/null
+++ b/docs/install/eclipse-plugin/update.md
@@ -0,0 +1 @@
+This is the target location for the eclipse-jpf update site.
\ No newline at end of file