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 |
|
|
|
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 |
|
