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@xxxxxxxxxx> --- 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 _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
