diff options
author | Thibault Saunier <tsaunier@igalia.com> | 2018-11-19 21:49:13 -0300 |
---|---|---|
committer | Thibault Saunier <tsaunier@igalia.com> | 2018-11-28 09:29:07 -0300 |
commit | 925c3b875861e83d3d6808439b61e80fe5ee8b48 (patch) | |
tree | e3e40f76f07d429c8fbec25949d5ccb55a2e210c /docs/gir-1.2.rnc | |
parent | e194cf780fb13932be2e158d5eb23db737a6e0db (diff) | |
download | gobject-introspection-925c3b875861e83d3d6808439b61e80fe5ee8b48.tar.gz |
writer: Include documentation and symbol position in source files
Some documentation tool (as hotdoc[0]) need to have information about
symbol declaration and documentation positions in the source files
to be able to do smart indexing (automatically build the documenation
index).
[0] https://hotdoc.github.io/
Fixes #175
Diffstat (limited to 'docs/gir-1.2.rnc')
-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 = ( |