dev/_source.html: GIT-INFO is now GIT-INFO.md

curl · Mar 8, 2024 · 71e4b22 · 71e4b22
1 parent 9997943
commit 71e4b22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/_source.html b/dev/_source.html
@@ -65,7 +65,7 @@
 TITLE(<b>Compile and Build</b> the Sources)
 <p>
  When you checkout the sources, you get a file
- named <a href="https://github.com/curl/curl/blob/master/GIT-INFO">GIT-INFO</a>
+ named <a href="https://github.com/curl/curl/blob/master/GIT-INFO.md">GIT-INFO.md</a>
  in the source root that describes how to proceed to compile and build them.
 
 TITLE(<b>Change</b> the Sources)