From 768b1922c2daba5dfc406cfecd2d9a7c653ecbdf Mon Sep 17 00:00:00 2001
From: Daniel James <daniel@calamity.org.uk>
Date: Thu, 28 Dec 2017 21:58:52 +0000
Subject: [PATCH] Make trailing '.git' in module url optional

---
 site-tools/update-doc-list.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/site-tools/update-doc-list.php b/site-tools/update-doc-list.php
index 336727f3..451f47e9 100755
--- a/site-tools/update-doc-list.php
+++ b/site-tools/update-doc-list.php
@@ -195,7 +195,7 @@ function read_metadata_from_modules($path, $location, $hash, $sublibs = array('l
     foreach($modules as $name => $module) {
         $submodule_path = $path ? "{$path}/{$module['path']}" : $module['path'];
 
-        if (!preg_match('@^\.\./(\w+)\.git$@', $module['url'])) {
+        if (!preg_match('@^\.\./(\w+)(\.git)?$@', $module['url'])) {
             // In quiet mode don't warn about documentation submodules, which
             // libraries have previously included from remote locations.
             if (!UpdateDocListSettings::$quiet || strpos($submodule_path.'/', '/doc/') === false) {