3 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	aea31018a9	Revert "Change documentation formatting" ... This reverts commit 10ab2d73. The change broke the generation of the manual with help2man.	2022-05-11 01:15:07 +02:00
Lorenzo Figini	a2d4c25bb2	Change documentation formatting ... Revert temporarily to default fonts to improve portability. Add section header markers to the man page.	2022-05-11 01:15:06 +02:00
Michele Guerini Rocco	08dad4ff45	add documentation	2021-12-15 02:30:58 +01:00