4 Commits

Author	SHA1	Message	Date
Lorenzo Figini	10dc3ba3d0	Improve documentation build ... - Documentation is not built anymore with the default `all` rule to improve portability. It must be built explicitly with `make docs`. - Font types are not specified to allow building on systems with a restricted set of fonts. - Syntax fixes in the documentation Markdown.	2022-11-17 19:31:58 +01:00
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