Lorenzo Manacorda 7f8e139413 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.		2019-02-10 00:38:35 +01:00
..
release-notes	doc: add basic release notes	2019-01-20 17:56:44 +01:00
default.nix	doc: add basic release notes	2019-01-20 17:56:44 +01:00
installation.xml	doc: reformat XML files	2019-01-20 18:01:22 +01:00
man-configuration.xml	doc: reformat XML files	2019-01-20 18:01:22 +01:00
man-home-manager.xml	doc: move home-manager man page to section 1	2019-02-10 00:38:28 +01:00
man-pages.xml	doc: remove extraneous contrib element	2019-02-10 00:38:35 +01:00
manual.xml	doc: reformat XML files	2019-01-20 18:01:22 +01:00
options-to-docbook.xsl	manual: some cleanups	2018-05-11 22:26:21 +02:00
overrides.css	manual: some cleanups	2018-05-11 22:26:21 +02:00
style.css	manual: some cleanups	2018-05-11 22:26:21 +02:00