diff --git a/docs/schemas/basictypes.rng b/docs/schemas/basictypes.rng index b1fb939aff..ea18b2d2fb 100644 --- a/docs/schemas/basictypes.rng +++ b/docs/schemas/basictypes.rng @@ -303,6 +303,12 @@ + + + \[[^\]]+\] .+ + + + /.* diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index ae25b9b1bc..50d8aa9155 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -1652,7 +1652,10 @@ - + + + +