update documentation to include new header.gmi

2021-03-22 08:29:05 -06:00
parent d3d181e8fa
commit 76a10a7b99
3 changed files with 40 additions and 5 deletions
@@ -112,6 +112,11 @@ Within the data directory, the following files are used:
 	subscription (change its title, update a link, etc) it should be trivial to
 	manually edit.

+*header.gmi*
+	This file is neither created nor modified by comitium.  If it exists and is
+	nonempty, then it is read and used as custom header for *feed.gmi*.  If it
+	doesn't exist or is empty, then a default header is used.
+
 *feed.gmi*
 	The outputted text/gemini file containing the subscription items. Is what
 	should be linked or copied to your server directory to publish it.