--- doc/docs.xml.orig 2016-07-20 16:53:48 UTC +++ doc/docs.xml @@ -1,6 +1,6 @@