--- a/data/doc/manual.docbook 2016-11-05 09:22:50.000000000 +0100 +++ b/data/doc/manual.docbook 2017-07-28 18:03:51.938394459 +0200 @@ -1,6 +1,6 @@  - + --- a/data/doc/tutorial.docbook 2016-11-05 09:22:50.000000000 +0100 +++ b/data/doc/tutorial.docbook 2017-07-28 18:03:51.938394459 +0200 @@ -1,6 +1,6 @@ - +