Files
ports/math
sthen 660a2881d3 use man -l to cope with the recent change to man(1) where "man
/path/to/file" is no longer implicitly treated as a request to format
the specified file. (other common man(1) implementations look for / in
the argument to decide whether to treat as a file).

diff from tb@; schwarze@ proposed an alternative (passing MAN=mandoc),
but this version is safer if upstream change things in a future version.
2025-08-31 10:47:02 +00:00
..
2025-07-25 00:10:51 +00:00
2023-09-27 09:27:52 +00:00
2024-12-21 11:38:23 +00:00
2025-02-24 19:39:18 +00:00
2025-07-21 16:10:44 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2024-11-07 20:56:52 +00:00
2025-02-24 19:39:18 +00:00
2023-09-27 09:27:52 +00:00
2025-08-11 09:11:20 +00:00
2025-02-24 19:39:18 +00:00
2024-04-05 22:05:31 +00:00
2025-07-25 11:06:15 +00:00
2024-04-02 04:45:17 +00:00
2023-09-27 09:27:52 +00:00
2024-12-21 11:38:23 +00:00
2025-07-28 08:28:51 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2024-12-21 11:38:23 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2025-08-24 14:23:06 +00:00
2025-08-16 06:47:12 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2025-08-17 07:28:18 +00:00
2025-01-29 11:34:37 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2025-02-24 19:39:18 +00:00
2023-09-27 09:27:52 +00:00
2024-12-21 11:38:23 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2025-05-29 06:11:57 +00:00
2025-02-24 19:39:18 +00:00
2025-05-03 18:16:54 +00:00
2025-05-03 18:17:19 +00:00
2023-12-25 08:25:36 +00:00
2025-07-10 18:50:00 +00:00
2025-04-29 10:38:51 +00:00
2025-07-28 14:05:09 +00:00
2025-04-29 10:38:51 +00:00
2025-06-15 08:30:56 +00:00
2025-04-29 10:38:51 +00:00
2023-09-27 09:27:52 +00:00
2025-06-30 17:54:58 +00:00
2025-04-25 09:39:11 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2023-09-27 09:27:52 +00:00
2025-02-24 19:39:18 +00:00
2025-06-17 08:23:33 +00:00
2023-09-27 09:27:52 +00:00
2025-07-23 21:27:45 +00:00
2025-08-18 22:59:46 +00:00
2025-07-10 18:20:18 +00:00