7 Commits

Author	SHA1	Message	Date
Rangi	d5cddb202c	Update the man pages' dates and history (#1279)	2023-12-23 00:15:35 +01:00
ISSOtm	27c1237daa	Fix formatting errors in man pages ... As reported by the following command: mandoc -T lint man/* | grep -v "input text line longer than 80 bytes" (One of them also showed up as a warning while setting up Debian packaging.)	2023-11-23 18:05:55 +01:00
Rangi	f8af569680	Shorten license comments and consolidate an AUTHORS file (#1217)	2023-11-05 09:54:32 +01:00
ISSOtm	6d806238fb	Improve bit rotation/shift explanations by using Unicode box diagrams ... The existing explanations have proven confusing to many, and presenting the instructions in a more visual manner should help a lot. Additionally, the Unicode codepoints are typed as-is in the source, because that allows much more WYSIWYG editing, and god damn it this is the year two thousand and twenty three, if your man and/or terminal software does't support Unicode, then what are you *doing*.	2023-06-17 12:38:52 +02:00
Tian(Maxwell) Yang	718cfa133f	Fix SRL [HL] Flags link	2023-05-23 08:29:40 +02:00
Rangi	4363ffcad4	Clarify the JR documentation based on its usage (#1032) ... Fixes #1020	2022-08-28 15:42:04 -04:00
ISSOtm	7e94ecbfe6	Move all man pages to a separate directory ... Simplifies processing all around, and makes more sense	2022-05-15 13:34:35 +02:00