diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/gir-1.2.rnc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/gir-1.2.rnc b/docs/gir-1.2.rnc index 5072be11..8b121e98 100644 --- a/docs/gir-1.2.rnc +++ b/docs/gir-1.2.rnc @@ -195,6 +195,9 @@ grammar { & element doc { attribute xml:space { "preserve" }?, attribute xml:whitespace { "preserve" }?, + attribute filename { xsd:string }, + attribute line { xsd:string }, + attribute column { xsd:string }, text }? @@ -204,6 +207,11 @@ grammar { text }? + & element source-position { + attribute filename { xsd:string }, + attribute line { xsd:string }, + attribute column { xsd:string }, + }? ) Info.elements = ( |