commit 6c5e64339dec108cd4822b426c686b8b958a02ea
author Eryk Szymanski <eryksz@gmail.com> Mon Apr 24 10:32:52 2017 +0200
committer Eryk Szymanski <eryksz@gmail.com> Mon Apr 24 10:50:53 2017 +0200
tree 2f93a4528c93535158567fcd9cfe431c4293e99f
parent 70236ba603e70576c39143d6f4b90f06d07ef45d

Add a link to eclipse.ini page in Eclipse setup

Just to make it a bit easier for a novice.

Change-Id: Ic9c025c78c514f88865824ba97c6f0d54385959a

Documentation/dev-eclipse.txt

diff --git a/Documentation/dev-eclipse.txt b/Documentation/dev-eclipse.txt
index 232e402..9743779 100644
--- a/Documentation/dev-eclipse.txt
+++ b/Documentation/dev-eclipse.txt
@@ -10,8 +10,8 @@
 [[setup]]
 == Project Setup
 
-In your Eclipse installation's `eclipse.ini` file, add the following line in
-the `vmargs` section:
+In your Eclipse installation's link:https://wiki.eclipse.org/Eclipse.ini[`eclipse.ini`] file,
+add the following line in the `vmargs` section:
 
 ----
   -DmaxCompiledUnitsAtOnce=10000