setup -> dev_setup & fix according links

docs/write_test/dev_setup.rst

@@ -16,7 +16,7 @@ This document describes the existing developer tooling we have in place
 Environment Setup
 -----------------
 
-Follow the `installation <../quick_start#installation>`__ steps to
+Follow the `installation <../quick_start.html#installation>`__ steps to
 prepare the source code. Then follow the steps below to set up the
 corresponding development environment.
 

docs/write_test/write.rst

@@ -5,7 +5,7 @@ Info for developers
    :maxdepth: 2
 
    Basic concepts <concepts>
-   Development setup <setup>
+   Development setup <dev_setup>
    How to write a test case <write_case>
    How to write extensions <extension>
    Code quality <guidelines>