1 |
commit: b1bab6a516c5512e84ed70b38f0750654ab4a5f5 |
2 |
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed May 19 07:52:37 2021 +0000 |
4 |
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed May 19 07:52:37 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=b1bab6a5 |
7 |
|
8 |
userinfo.rnc: File restored |
9 |
|
10 |
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org> |
11 |
|
12 |
Makefile | 2 +- |
13 |
schemas.xml | 1 + |
14 |
userinfo.rnc | 44 ++++++++++++++++++++++++++++++++++++++++++++ |
15 |
3 files changed, 46 insertions(+), 1 deletion(-) |
16 |
|
17 |
diff --git a/Makefile b/Makefile |
18 |
index 304ae7e..e9c6372 100644 |
19 |
--- a/Makefile |
20 |
+++ b/Makefile |
21 |
@@ -1,5 +1,5 @@ |
22 |
DTDS = devbook.dtd glsa.dtd metadata.dtd mirrors.dtd \ |
23 |
- projects.dtd repositories.dtd |
24 |
+ projects.dtd repositories.dtd userinfo.dtd |
25 |
|
26 |
RNCS = $(patsubst %.dtd,%.rnc,$(DTDS)) |
27 |
|
28 |
|
29 |
diff --git a/schemas.xml b/schemas.xml |
30 |
index 0a7f23c..f93bcbb 100644 |
31 |
--- a/schemas.xml |
32 |
+++ b/schemas.xml |
33 |
@@ -10,4 +10,5 @@ |
34 |
<documentElement localName="pkgmetadata" uri="metadata.rnc" /> |
35 |
<documentElement localName="projects" uri="projects.rnc" /> |
36 |
<documentElement localName="repositories" uri="repositories.rnc" /> |
37 |
+ <documentElement localName="userlist" uri="userinfo.rnc" /> |
38 |
</locatingRules> |
39 |
|
40 |
diff --git a/userinfo.rnc b/userinfo.rnc |
41 |
new file mode 100644 |
42 |
index 0000000..54a1305 |
43 |
--- /dev/null |
44 |
+++ b/userinfo.rnc |
45 |
@@ -0,0 +1,44 @@ |
46 |
+userlist = element userlist { attlist.userlist, user+ } |
47 |
+attlist.userlist &= empty |
48 |
+user = |
49 |
+ element user { |
50 |
+ attlist.user, |
51 |
+ realname, |
52 |
+ pgpkey+, |
53 |
+ alias*, |
54 |
+ email+, |
55 |
+ joined*, |
56 |
+ retired*, |
57 |
+ status?, |
58 |
+ roles?, |
59 |
+ location? |
60 |
+ } |
61 |
+attlist.user &= attribute username { xsd:ID } |
62 |
+realname = element realname { attlist.realname, firstname, familyname } |
63 |
+attlist.realname &= attribute fullname { text }? |
64 |
+firstname = element firstname { attlist.firstname, text } |
65 |
+attlist.firstname &= empty |
66 |
+familyname = element familyname { attlist.familyname, text } |
67 |
+attlist.familyname &= attribute sort { text }? |
68 |
+pgpkey = element pgpkey { attlist.pgpkey, text } |
69 |
+attlist.pgpkey &= empty |
70 |
+alias = element alias { attlist.alias, text } |
71 |
+attlist.alias &= empty |
72 |
+email = element email { attlist.email, text } |
73 |
+attlist.email &= empty |
74 |
+# all dates should be YYYY-MM-DD - eg '2006-11-22' |
75 |
+joined = element joined { attlist.joined, text } |
76 |
+attlist.joined &= empty |
77 |
+retired = element retired { attlist.retired, text } |
78 |
+attlist.retired &= empty |
79 |
+status = element status { attlist.status, text } |
80 |
+attlist.status &= empty |
81 |
+roles = element roles { attlist.roles, text } |
82 |
+attlist.roles &= empty |
83 |
+# Location is the string displayed on the webpage |
84 |
+location = element location { attlist.location, text } |
85 |
+# signed decimal numbers. degrees north/east. |
86 |
+attlist.location &= |
87 |
+ attribute latitude { text }?, |
88 |
+ attribute longitude { text }? |
89 |
+start = userlist |