summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBastien Nocera <hadess@hadess.net>2020-09-03 16:50:14 +0200
committerBastien Nocera <hadess@hadess.net>2020-09-03 16:50:14 +0200
commitd098ed022fa3134a6c9b936b02cf22b04008482e (patch)
tree404ceda0de7fe25424156f441221305658c8e3e3
parentdb49d60aa8dd4ebdcb8778eaef0a3c255cb4fc66 (diff)
README: Explain where the website sources are
-rw-r--r--README.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/README.md b/README.md
index c2c32d2..36a38d2 100644
--- a/README.md
+++ b/README.md
@@ -10,6 +10,14 @@ To discuss the specifications, you may use the xdg mailing list:
http://lists.freedesktop.org/mailman/listinfo/xdg
+Building specifications website
+===============================
+
+The specifications website is automatically built using the [Gitlab
+continuous integration](https://gitlab.freedesktop.org/xdg/xdg-specs/-/blob/master/.gitlab-ci.yml).
+
+The sources files are in the [`web-export`](https://gitlab.freedesktop.org/xdg/xdg-specs/-/tree/master/web-export)
+directory.
How to report issues
====================