diff options
| author | Bastien Nocera <hadess@hadess.net> | 2019-10-21 17:42:42 +0200 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2019-10-21 18:22:02 +0200 |
| commit | eb652b09898c27a9e89a268068813414601f4890 (patch) | |
| tree | 0f6610d89e4512366dbf0c28f3680a312ae9adde /web-export | |
| parent | 09e759d5486eba13c2b3804a0d07d132a3499d75 (diff) | |
web-export: Add macro for specs with their own build system
Diffstat (limited to 'web-export')
| -rwxr-xr-x | web-export/update.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/web-export/update.py b/web-export/update.py index 8978198..4d0f94a 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -37,6 +37,10 @@ USELOCALFILES = True GITWEB = 'http://gitlab.freedesktop.org' HASH = 'md5' +# Specifications with their own build system +# FIXME: would be good to be able to use the same script to generate them +SELF_BUILT = [ "idle-inhibit-spec", "secret-service-spec" ] + if not spawn.find_executable("xmlto"): print("ERROR: xmlto is not installed...") sys.exit(1) @@ -274,7 +278,7 @@ for line in lines: splitted_line = data.split(":") if data.startswith("git:"): repo = splitted_line[1] - if USELOCALFILES and (revision != "master" or repo != "xdg/xdg-specs" or path in [ "idle-inhibit-spec", "secret-service-spec" ]): + if USELOCALFILES and (revision != "master" or repo != "xdg/xdg-specs" or path in SELF_BUILT): continue vcs = VcsObject('git', repo, splitted_line[2], revision) else: |