[PATCH] docs: correct link to microcom repo

[Lucas Stach]

It's not nice to land on a 404 page and having to
search for the right location manually.

Signed-off-by: Lucas Stach <dev at lynxeye.de>
---
 Documentation/user/system-setup.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/user/system-setup.rst b/Documentation/user/system-setup.rst
index 683da9e6b584..7e4a7669a8fe 100644
--- a/Documentation/user/system-setup.rst
+++ b/Documentation/user/system-setup.rst
@@ -29,7 +29,7 @@ A good alternative terminal program is microcom. On Debian it can be installed
 with ``apt-get install microcom``, on other distributions it can be installed
 from source:
 
-http://git.pengutronix.de/?p=tools/microcom;a=summary
+http://git.pengutronix.de/?p=tools/microcom.git;a=summary
 
 Usage is simple::
 
-- 
2.1.0