diff --git a/src/sphinx/Detailed-Topics/Proxy-Repositories.rst b/src/sphinx/Detailed-Topics/Proxy-Repositories.rst index b760ad78d..92ea33b59 100644 --- a/src/sphinx/Detailed-Topics/Proxy-Repositories.rst +++ b/src/sphinx/Detailed-Topics/Proxy-Repositories.rst @@ -42,10 +42,9 @@ file, and the second is the launcher script. ``~/.sbt/repositories`` --------------------- -The repositories file is an external configuration for the -:doc:`/Detailed-Topics/Launcher`. The exact syntax for the -configuration file is detailed in the :doc:`/Detailed-Topics/Blah` -documentation. +The repositories file is an external configuration for the Launcher. +The exact syntax for the configuration file is detailed in the +:doc:`/Detailed-Topics/Launcher`. Here's an example config: