diff options
author | Lorenzo Manacorda <lorenzo@mailbox.org> | 2019-02-09 17:06:51 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2019-02-10 00:38:35 +0100 |
commit | 7f8e139413e1bca2d7fd26da6022b85d5b645c86 (patch) | |
tree | e9a9eaae12b39dd4551657c382d8aefbb3c8b86f /doc | |
parent | 99d79d0a808c69ab2142c523fd84981b817253a8 (diff) |
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.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/man-pages.xml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/man-pages.xml b/doc/man-pages.xml index d9bb7df2890..616c2ef291b 100644 --- a/doc/man-pages.xml +++ b/doc/man-pages.xml @@ -3,9 +3,7 @@ xmlns:xi="http://www.w3.org/2001/XInclude"> <title>Home Manager Reference Pages</title> <info> - <author><personname>Home Manager contributors</personname> - <contrib>Author</contrib> - </author> + <author><personname>Home Manager contributors</personname></author> <copyright><year>2017–2019</year><holder>Home Manager contributors</holder> </copyright> </info> |