Fix developers resources links

Thanks to Jean-Charles M. for the report.

diff --git a/Documentation/devel.html.in b/Documentation/devel.html.in
index 078b1844969a3e2837368c8498c9cec7b983a776..3ffe05b3f1d7e94bab89a17fe89822c360eb1d74 100644 (file)
--- a/Documentation/devel.html.in
+++ b/Documentation/devel.html.in
@@ -71,7 +71,7 @@
        <ul>
            <li><a class="title" href="http://lilypond.org/web/devel">lilypond.org development page</a>
               <br>(for all contributors)
-            <li><a class="title" href="devel.html">lilypond.git repository</a>
+            <li><a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git">lilypond.git repository</a>
               <br>(official sources)
             <li><a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=blob_plain;f=README;hb=gub">GUB Readme</a>
              <br>(about Grand Unified Binaries packages)
@@ -79,7 +79,7 @@
     </td><td class="right-column">
           &nbsp;
        <ul>
-           <li><a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=blob_plain;f=Documentation/user/README.txt;hb=lilypond/gdp">Documentation Readme</a>
+           <li><a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=blob_plain;f=Documentation/user/README.txt;hb=master">Documentation Readme</a>
              <br>(for documentation editors)
             <li><a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=blob_plain;f=README;hb=web">lilypond.org Readme</a>
 and <a class="title" href="http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=blob_plain;f=TRANSLATION;hb=web">Translation</a>