#1307: Fixed link to correct documentation page.

[raveendra11]

This PR fixes #1307.

Implemented changes:

• Fixed link to correct documentation page.

Checklist for this PR

Make sure everything is checked before merging this PR. For further info please also see
our DoD.

• When running mvn clean test locally all tests pass and build is successful
• PR title is of the form #«issue-id»: «brief summary» (e.g. #921: fixed setup.bat). If no issue ID exists, title only.
• PR top-level comment summarizes what has been done and contains link to addressed issue(s)
• PR and issue(s) have suitable labels
• Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)
• You followed all coding conventions
• You have added the issue implemented by your PR in CHANGELOG.adoc unless issue is labeled
  with internal

[CLAassistant]

All committers have signed the CLA.

[jan-vcapgemini]

@raveendra11 thank you for your PR. I've added a small CR. Please use our PR template (some to-dos f.e. adjusted CHANGELOG.adoc) were not applied. Also, please accept the CLA otherwise we can't merge this PR.
PS: I think you need to adjust your author information of your commit (needs to reflect your github username and e-mail) and do a force push to repair this PR.
git commit --amend --author="Author Name <email@address.com>" --no-edit

[raveendra11]

To Make sure everything is checked before merging this PR, Believe I don't have permission to change these below statuses...

• PR and issue(s) have suitable labels
• Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)

[jan-vcapgemini]

@raveendra11 thanks for implementing my CR and signing the CLA. Looks good to me now. I've added another small CR for you to resolve then this PR can be merged. Looking forward to further PR's by you :)

[jan-vcapgemini]

To Make sure everything is checked before merging this PR, Believe I don't have permission to change these below statuses...

* PR and issue(s) have suitable labels

* Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)

I think these labels can only be added while the PR is being created.

[coveralls]

Pull Request Test Coverage Report for Build 15213793466

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage decreased (-0.01%) to 67.795%

---

Files with Coverage Reduction	New Missed Lines	%
com/devonfw/tools/ide/tool/ide/IdeToolCommandlet.java	1	77.59%

Totals
Change from base Build 15213103217:	-0.01%
Covered Lines:	8060
Relevant Lines:	11480

---

💛 - Coveralls

[raveendra11]

To Make sure everything is checked before merging this PR, Believe I don't have permission to change these below statuses...

* PR and issue(s) have suitable labels

* Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)

I think these labels can only be added while the PR is being created.

Oh Okay! What should we do now?

[jan-vcapgemini]

LGTM. Ready to merge.

[jan-vcapgemini]

To Make sure everything is checked before merging this PR, Believe I don't have permission to change these below statuses...

* PR and issue(s) have suitable labels

* Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)

I think these labels can only be added while the PR is being created.

Oh Okay! What should we do now?

I've added the label and assigned you to this PR. Everything is fine now... apart from the little merge conflict, please solve :)

[jan-vcapgemini]

@raveendra11 Can you please also solve the merge conflict? It should be quite easy to fix. Will merge it then asap.

[raveendra11]

To Make sure everything is checked before merging this PR, Believe I don't have permission to change these below statuses...

* PR and issue(s) have suitable labels

* Issue is set to In Progress and assigned to you or there is no issue (might happen for very small PRs)

I think these labels can only be added while the PR is being created.

Oh Okay! What should we do now?

I've added the label and assigned you to this PR. Everything is fine now... apart from the little merge conflict, please solve :)

Sure!

[raveendra11]

Hi @jan-vcapgemini, Pls check now.

[jan-vcapgemini]

Now github seems to have problems. Looks like I will have to merge this next week.

Sorry.

[raveendra11]

No Problem, will see then.

[raveendra11]

Now github seems to have problems. Looks like I will have to merge this next week. Sorry.

It is up now.