3 Commits

Author	SHA1	Message	Date
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	9a39251f44	doc/gray.1 generate from gray --help	2022-05-11 01:15:02 +02:00
Michele Guerini Rocco	75c30ee834	move manual into a doc subdirectory	2021-12-15 02:30:51 +01:00