doc: remove extraneous contrib element

`contrib` is "A summary of the contributions made to a document by a
credited source", which we don't need in this case.

(cherry picked from commit 7f8e139413)
This commit is contained in:
Lorenzo Manacorda 2019-02-09 17:06:51 +01:00 committed by Robert Helgesson
parent 6924761aaf
commit 37760ed934
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -3,9 +3,7 @@
xmlns:xi="http://www.w3.org/2001/XInclude"> xmlns:xi="http://www.w3.org/2001/XInclude">
<title>Home Manager Reference Pages</title> <title>Home Manager Reference Pages</title>
<info> <info>
<author><personname>Home Manager contributors</personname> <author><personname>Home Manager contributors</personname></author>
<contrib>Author</contrib>
</author>
<copyright><year>20172019</year><holder>Home Manager contributors</holder> <copyright><year>20172019</year><holder>Home Manager contributors</holder>
</copyright> </copyright>
</info> </info>